Skip to content

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

Fix SetSplitting NAE bounds and checked construction

40a445d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Windows x86_64 build & run
succeeded Oct 29, 2026 in 2m 11s