feat: Implement Factoring → ILP reduction (issue #21)#22

Merged

GiggleLiu merged 9 commits intomainfrom

feat/factoring-ilp-solver

Jan 31, 2026

Commits on Jan 31, 2026

docs: Add design document for Factoring to ILP reduction

GiggleLiu
and
claude
committed
docs: Add code example for Factoring → ILP reduction

GiggleLiu
and
claude
committed
test: Add step-by-step comments to factor_15 test

GiggleLiu
and
claude
committed
feat: Integrate Factoring → ILP into reduction graph

GiggleLiu
and
claude
committed
fix: Address PR review comments

GiggleLiu
and
claude
committed
fix: Make reduction graph JSON export deterministic

GiggleLiu
and
claude
committed
refactor: Remove redundant add_edge for Factoring→ILP

GiggleLiu
and
claude
committed
refactor: Remove all redundant manual add_edge! calls

GiggleLiu
and
claude
committed
refactor: Remove empty register_reductions function

GiggleLiu
and
claude
committed