feat: add CircuitSAT → Satisfiability reduction (#970) [full pipeline]#991

Closed

zazabap wants to merge 3 commits intomainfrom

feat/970-circuitsat-satisfiability

Commits on Apr 1, 2026

docs: /verify-reduction #970 — CircuitSAT → Satisfiability VERIFIED

zazabap
and
claude
committed
feat: add CircuitSAT → Satisfiability reduction (#970)

zazabap
and
claude
committed
fix: add CircuitSAT -> ILP to dominated rules allow-list

zazabap
and
claude
committed