Repository navigation

feat(planar-SAT): certify the paired crossover drawing - #1175

Merged

SamuelSchlesinger merged 6 commits into

mainfrom

feat/parsimony-paired-layout

Oct 26, 2026

Merged

feat(planar-SAT): certify the paired crossover drawing#1175
SamuelSchlesinger merged 6 commits into
mainfrom
feat/parsimony-paired-layout

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
- feat(planar-SAT): certify the paired crossover drawing
  edemaine
  committed
  55e49e5
- Merge origin/main after base squash (coordinator restack)
  
  SamuelSchlesinger
  and
  claude
  committed
  81d7503