Repository navigation

feat(planar-SAT): certify paired wires and unique gadget extensions - #1174

Merged

SamuelSchlesinger merged 5 commits into

mainfrom

feat/parsimony-paired-gadgets

Oct 26, 2026

Merged

feat(planar-SAT): certify paired wires and unique gadget extensions#1174
SamuelSchlesinger merged 5 commits into
mainfrom
feat/parsimony-paired-gadgets

Commits on Oct 26, 2026
- doc(roadmap): record ASP framework follow-up
  edemaine
  committed
  209dd3c
- feat(CNF): preserve model counts under occurrence splitting
  edemaine
  committed
  5b65c48
- doc(references): cite parsimonious planar SAT
  edemaine
  committed
  2ef9557
- feat(planar-SAT): certify paired wires and unique gadget extensions
  edemaine
  committed
  8286009
- Merge origin/main after base squash (coordinator restack)
  
  SamuelSchlesinger
  and
  claude
  committed
  05c4637