Counterfactual instances on UNSAT (proposal + implementation)#337

Open

sidprasad wants to merge 3 commits into

edit-updatefrom

counterfactual-unsat

Commits on May 22, 2026

[design] Counterfactual instances on UNSAT (proposal)

sidprasad
and
claude
committed
Counterfactual instances on UNSAT (initial implementation)

sidprasad
and
claude
committed
Relation-level witness flagging for dropped counterfactual formulas

sidprasad
and
claude
committed