Repository navigation

feat(BooleanAnalysis): the high-incidence branching of Lemma D.2 - #2085

Merged

SamuelSchlesinger merged 3 commits into

mainfrom

claude/lemma-d2-branch

Oct 31, 2026

Merged

feat(BooleanAnalysis): the high-incidence branching of Lemma D.2#2085
SamuelSchlesinger merged 3 commits into
mainfrom
claude/lemma-d2-branch

Commits on Oct 31, 2026
- feat(BooleanAnalysis): the high-incidence branching of Lemma D.2
  
  SamuelSchlesinger
  and
  claude
  committed
  37decc0
- Merge origin/main into claude/lemma-d2-branch
  
  SamuelSchlesinger
  and
  claude
  committed
  7bf7bc3
- refactor(BooleanAnalysis): share the branch-cost API and expose the D.2 bounds
  
  SamuelSchlesinger
  and
  claude
  committed
  bce3ad3