feat: add NAESatisfiability → SetSplitting reduction (#841) [full pipeline v2] - #985

Closed

zazabap wants to merge 3 commits into

mainfrom

feat/841-full-pipeline

Commits on Apr 1, 2026

docs: /verify-reduction #841 — NAESatisfiability → SetSplitting VERIFIED

zazabap
and
claude
committed
feat: add NAESatisfiability -> SetSplitting reduction (#841)

zazabap
and
claude
committed
fix: replace needless_range_loop with enumerate().take(4) in NAE→SS test

zazabap
and
claude
committed