Repository navigation

refactor(planar-SAT): extract shared path certificates - #1176

Merged

SamuelSchlesinger merged 7 commits into

mainfrom

refactor/parsimony-shared-paths

Oct 26, 2026

Merged

refactor(planar-SAT): extract shared path certificates#1176
SamuelSchlesinger merged 7 commits into
mainfrom
refactor/parsimony-shared-paths

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
- Merge origin/main after base squash (coordinator restack)
  
  SamuelSchlesinger
  and
  claude
  committed
  b42d6d2