feat: Implement remaining reduction rules#7

Merged

GiggleLiu merged 8 commits into

mainfrom

feat/remaining-reductions

Jan 25, 2026

Commits on Jan 25, 2026

feat: Add ReduceTo<SetCovering> for VertexCovering reduction

GiggleLiu
and
claude
committed
feat: Add ReduceTo<SetPacking> for Matching reduction

GiggleLiu
and
claude
committed
feat: Add ReduceTo<IndependentSet> for Satisfiability

GiggleLiu
and
claude
committed
feat: Add ReduceTo<Coloring> for Satisfiability reduction

GiggleLiu
and
claude
committed
feat: Add ReduceTo<DominatingSet> for Satisfiability reduction

GiggleLiu
and
claude
committed
feat: Add ReduceTo<SpinGlass> for CircuitSAT reduction

GiggleLiu
and
claude
committed
feat: Register all new reductions in ReductionGraph

GiggleLiu
and
claude
committed
fix: Address PR review comments and fix clippy

GiggleLiu
and
claude
committed