Search results

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

Status: Open.

#154 In GiggleLiu/ProblemReductions.jl;

·isPANN openedon Sep 22, 2025

Save and load problem instances

Status: Open.

#150 In GiggleLiu/ProblemReductions.jl;

·GiggleLiu openedon Jul 2, 2025

Reduction from 3-XORSAT to MIS

Status: Open.

#148 In GiggleLiu/ProblemReductions.jl;

·GiggleLiu openedon May 5, 2025

Better document and figures

Status: Open.

#139 In GiggleLiu/ProblemReductions.jl;

·GiggleLiu openedon Mar 23, 2025

Integer problem solver for spin glass and BMF

Status: Open.

#138 In GiggleLiu/ProblemReductions.jl;

·nzy1997 openedon Mar 21, 2025

May add a graph interface for QUBO

Status: Open.

#125 In GiggleLiu/ProblemReductions.jl;

·ArrogantGao openedon Dec 26, 2024

Urgent Reduction Rules to be implemented

Status: Open.

#123 In GiggleLiu/ProblemReductions.jl;

·c-allergic openedon Dec 25, 2024

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

Status: Open.

#122 In GiggleLiu/ProblemReductions.jl;

·ArrogantGao openedon Dec 25, 2024

Include reduction to low dimensional graphs

Status: Open.

#111 In GiggleLiu/ProblemReductions.jl;

·GiggleLiu openedon Nov 25, 2024

Reduction graph visualization

enhancementNew feature or requestNew feature or request

Status: Open.

#107 In GiggleLiu/ProblemReductions.jl;

·GiggleLiu openedon Oct 10, 2024

· 

v0.3

Register package

Status: Open.

#72 In GiggleLiu/ProblemReductions.jl;

·GiggleLiu openedon 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 openedon Jul 10, 2024