Repository navigation

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

Open

peda-cos wants to merge 1 commit into

CodingThrust:mainfrom

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

Open

Add SetSplitting → NAE-SAT clause-per-subset reduction#1195
peda-cos wants to merge 1 commit 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