Repository navigation

feat(planar-SAT): prove paired compiler model-count preservation - #1177

Merged

SamuelSchlesinger merged 9 commits into

mainfrom

feat/parsimony-paired-counting

Oct 26, 2026

Merged

feat(planar-SAT): prove paired compiler model-count preservation#1177
SamuelSchlesinger merged 9 commits into
mainfrom
feat/parsimony-paired-counting

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
- refactor(planar-SAT): extract shared path certificates
  edemaine
  committed
  8d9988a
- feat(planar-SAT): prove paired compiler model-count preservation
  edemaine
  committed
  de6e8d7
- Merge origin/main after base squash (coordinator restack)
  
  SamuelSchlesinger
  and
  claude
  committed
  3cfb285
- chore: regenerate Complexity.lean
  
  SamuelSchlesinger
  and
  claude
  committed
  4033242