Repository navigation

feat(PolyTime/CNF): add native sparse k-CNF leaf model counter - #1334

Merged

SamuelSchlesinger merged 5 commits into

mainfrom

feat/rt-sparse-cnf-leaf-1226-antonkov

Oct 27, 2026

Merged

feat(PolyTime/CNF): add native sparse k-CNF leaf model counter#1334
SamuelSchlesinger merged 5 commits into
mainfrom
feat/rt-sparse-cnf-leaf-1226-antonkov

Commits on Oct 27, 2026
- feat(PolyTime/CNF): add native sparse k-CNF leaf model counter
  Anton Kovsharov
  committed
  9fddcff
- Merge remote-tracking branch 'origin/main' into feat/rt-sparse-cnf-leaf-1226-antonkov
  Anton Kovsharov
  committed
  d8235b0
- refactor(CNF): share validDeclaredInput and normalizeDeclaredLeaf across #1321 and #1334
  Anton Kovsharov
  committed
  49d0c18
- Merge remote-tracking branch 'origin/main' into feat/rt-sparse-cnf-leaf-1226-antonkov
  Anton Kovsharov
  committed
  2031d62
- fix(CNF): refresh canonical helper callers after uniform counting merge
  SamuelSchlesinger
  committed
  804ceaa