Repository navigation

feat(CNF): preserve model counts under occurrence splitting - #1147

Merged

SamuelSchlesinger merged 2 commits into

mainfrom

feat/parsimonious-planar-three-sat

Oct 26, 2026

Merged

feat(CNF): preserve model counts under occurrence splitting#1147
SamuelSchlesinger merged 2 commits into
mainfrom
feat/parsimonious-planar-three-sat

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