feat: add 10 reduction rules (#770)#972

Merged

zazabap merged 3 commits intomainfrom

feat/batch-10-rules-770

Mar 31, 2026

Commits on Mar 31, 2026

feat: add 10 reduction rules from #770

zazabap
and
claude
committed
fix: register 9 missing rules in mod.rs and address review findings

zazabap
and
claude
committed
fix: use MinimizeStepsThenOverhead in MaxCut->QUBO parity test

zazabap
and
claude
committed