fix: close completeness gaps from review-implementation audit (#88)#89

Merged

GiggleLiu merged 6 commits intomainfrom

fix/issue-88-completeness-gaps

Feb 20, 2026

Commits on Feb 20, 2026

fix: add MaximalIS to CLI dispatch table

GiggleLiu
and
claude
committed
fix: add missing re-exports for MaximumClique, ILP, KSatisfiability

GiggleLiu
and
claude
committed
refactor: rename rule tests to closed_loop convention

GiggleLiu
and
claude
committed
docs: add paper entries for MaximalIS, BMF, PaintShop, BicliqueCover and SAT to CircuitSAT rule

GiggleLiu
and
claude
committed
feat: add example programs for SAT→CircuitSAT, SP→MIS, KSAT→SAT

GiggleLiu
and
claude
committed
fix: use varying set sizes in SP→MIS example

GiggleLiu
and
claude
committed