feat: batch implement reduction rules (phases 1-3) - #1017

Merged

GiggleLiu merged 13 commits into

mainfrom

Apr 8, 2026

Commits on Apr 7, 2026

Add CircuitSAT to Satisfiability reduction (#970)
GiggleLiu
committed
dbbbbbd
Add Maximum2Satisfiability to MaxCut reduction
GiggleLiu
committed
63ffbb6
feat: add satisfiability to maximum2satisfiability reduction
GiggleLiu
committed
cf219fc
feat: add KSAT to decision MVC reduction
GiggleLiu
committed
efd6afe
feat: add 3sat to directed two-commodity flow
GiggleLiu
committed
bfee0de
Add MonochromaticTriangle reductions
GiggleLiu
committed
78405fb
style: format ksatisfiability_directedtwocommodityintegralflow

GiggleLiu
and
claude
committed
301fb48
feat: add proof-only mvc to mmm rule
GiggleLiu
committed
c6c20b7
feat: add MinimumCoveringByCliques to ILP
GiggleLiu
committed
0bcdd29
feat: add SubsetSum and IntegerKnapsack reductions
GiggleLiu
committed
4499969
feat: add 3SAT to FeasibleRegisterAssignment + FRA to ILP reductions (#905)

GiggleLiu
and
claude
committed
6a48c87

Commits on Apr 8, 2026

docs: add paper entries for FRA reductions (#905)

GiggleLiu
and
claude
committed
8085763
fix: gate ILPSolver imports behind ilp-solver feature

GiggleLiu
and
claude
committed
6bb08ae