Skip to content

feat(FineGrained): one #k-SAT counter with both bounds of Theorem 1.1 (single algorithm, p. 57) - #2032

Merged
SamuelSchlesinger merged 7 commits into
mainfrom
claude/thm11-single-algorithm
Oct 31, 2026
Merged

feat(FineGrained): one #k-SAT counter with both bounds of Theorem 1.1 (single algorithm, p. 57)#2032
SamuelSchlesinger merged 7 commits into
mainfrom
claude/thm11-single-algorithm

Commits

  1. Commits on Oct 31, 2026