Repository navigation

Add SetSplitting → NAE-SAT clause-per-subset reduction - #1195

Merged

GiggleLiu merged 3 commits into

CodingThrust:mainfrom

peda-cos:fix-set-splitting-naesat-1100

Oct 29, 2026

Merged

Add SetSplitting → NAE-SAT clause-per-subset reduction#1195
GiggleLiu merged 3 commits into
CodingThrust:mainfrom
peda-cos:fix-set-splitting-naesat-1100

Commits on Oct 12, 2026
- feat: SetSplitting to NAE-SAT clause-per-subset reduction (#1100)
  peda-cos
  committed
  309c562
Commits on Oct 29, 2026
- Merge current main before SetSplitting review fixes
  GiggleLiu
  committed
  3898a42
- Fix SetSplitting NAE bounds and checked construction
  GiggleLiu
  committed
  40a445d