All issues

Search results

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

Status: Open.

#154 In GiggleLiu/ProblemReductions.jl;

· isPANN opened on Sep 22, 2025

Save and load problem instances

Status: Open.

#150 In GiggleLiu/ProblemReductions.jl;

· GiggleLiu opened on Jul 2, 2025

Reduction from 3-XORSAT to MIS

Status: Open.

#148 In GiggleLiu/ProblemReductions.jl;

· GiggleLiu opened on May 5, 2025

Better document and figures

Status: Open.

#139 In GiggleLiu/ProblemReductions.jl;

· GiggleLiu opened on Mar 23, 2025

Integer problem solver for spin glass and BMF

Status: Open.

#138 In GiggleLiu/ProblemReductions.jl;

· nzy1997 opened on Mar 21, 2025

Urgent Reduction Rules to be implemented

Status: Open.

#123 In GiggleLiu/ProblemReductions.jl;

· c-allergic opened on Dec 25, 2024

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

Status: Open.

#122 In GiggleLiu/ProblemReductions.jl;

· xuanzhaogao opened on Dec 25, 2024

Include reduction to low dimensional graphs

Status: Open.

#111 In GiggleLiu/ProblemReductions.jl;

· GiggleLiu opened on Nov 25, 2024

Reduction graph visualization

enhancementNew feature or requestNew feature or request

Status: Open.

#107 In GiggleLiu/ProblemReductions.jl;

· GiggleLiu opened on Oct 10, 2024

·  

v0.3

Register package

Status: Open.

#72 In GiggleLiu/ProblemReductions.jl;

· GiggleLiu opened on Aug 14, 2024

Note: a starter guide to contribute this project

good first issueGood for newcomersGood for newcomers

Status: Open.

#32 In GiggleLiu/ProblemReductions.jl;

· GiggleLiu opened on Jul 10, 2024

Relevant package: QUBO.jl

good first issueGood for newcomersGood for newcomers

Status: Open.

#6 In GiggleLiu/ProblemReductions.jl;

· GiggleLiu opened on Jun 19, 2024