Issues

• reduceto(::Type{<:CircuitSAT}, f::Factoring) should support use_constraints keyword argument

  GiggleLiu/ProblemReductions.jl#154 · Filter by author isPANN opened on Sep 22, 2025

• Save and load problem instances

  GiggleLiu/ProblemReductions.jl#150 · Filter by author GiggleLiu opened on Jul 2, 2025

• Reduction from 3-XORSAT to MIS

  GiggleLiu/ProblemReductions.jl#148 · Filter by author GiggleLiu opened on May 5, 2025

• Better document and figures

  GiggleLiu/ProblemReductions.jl#139 · Filter by author GiggleLiu opened on Mar 23, 2025

• Integer problem solver for spin glass and BMF

  GiggleLiu/ProblemReductions.jl#138 · Filter by author nzy1997 opened on Mar 21, 2025

• Urgent Reduction Rules to be implemented

  GiggleLiu/ProblemReductions.jl#123 · Filter by author c-allergic opened on Dec 25, 2024
  5

• need a function to check the problem is solved by some solution

  GiggleLiu/ProblemReductions.jl#122 · Filter by author xuanzhaogao opened on Dec 25, 2024
  3

• Include reduction to low dimensional graphs

  GiggleLiu/ProblemReductions.jl#111 · Filter by author GiggleLiu opened on Nov 25, 2024

• Reduction graph visualization

  enhancement
  GiggleLiu/ProblemReductions.jl#107 · Filter by author GiggleLiu opened on Oct 10, 2024 · v0.3

• Register package

  GiggleLiu/ProblemReductions.jl#72 · Filter by author GiggleLiu opened on Aug 14, 2024
  28

  

• Note: a starter guide to contribute this project

  good first issue
  GiggleLiu/ProblemReductions.jl#32 · Filter by author GiggleLiu opened on Jul 10, 2024

• Relevant package: QUBO.jl

  good first issue
  GiggleLiu/ProblemReductions.jl#6 · Filter by author GiggleLiu opened on Jun 19, 2024

• References

  good first issue
  GiggleLiu/ProblemReductions.jl#5 · Filter by author GiggleLiu opened on May 30, 2024
  1