Repository navigation

[Critical] Remove KSatisfiability KN variant and short-clause constructors - #1225

Merged

GiggleLiu merged 5 commits into

feat/exact-tight-boundsfrom

refactor/remove-ksat-kn

Oct 29, 2026

Merged

[Critical] Remove KSatisfiability KN variant and short-clause constructors#1225
GiggleLiu merged 5 commits into
feat/exact-tight-boundsfrom
refactor/remove-ksat-kn

Commits on Oct 28, 2026
- Remove the KSatisfiability KN variant and short-clause constructors
  
  isPANN
  and
  claude
  committed
  5e512c7
- Declare MonochromaticTriangle counts exact and drop stale short-clause text
  
  isPANN
  and
  claude
  committed
  86d6808
- Bound KSatisfiability by FixedK and tidy the K-SAT reductions
  
  isPANN
  and
  claude
  committed
  eafd02a
- Drop the FixedK trait
  
  isPANN
  and
  claude
  committed
  3c2f9bd
Commits on Oct 29, 2026
- Align K3 reduction proofs with exact-width clauses
  GiggleLiu
  committed
  9b281d7