Skip to content

feat(FineGrained): count models of every CNF in 2^O(N/√log N) by tensor contraction - #2064

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
claude/wide-clause-count
Oct 31, 2026
Merged

feat(FineGrained): count models of every CNF in 2^O(N/√log N) by tensor contraction#2064
SamuelSchlesinger merged 1 commit into
mainfrom
claude/wide-clause-count

Commits

  1. Commits on Oct 31, 2026