Repository navigation

Fix #1201: [Rule] OneInThreeSatisfiability to SubsetProduct - #1236

Open

isPANN wants to merge 1 commit into

mainfrom

issue-1201-oneinthreesat-subsetproduct

Open

Fix #1201: [Rule] OneInThreeSatisfiability to SubsetProduct#1236
isPANN wants to merge 1 commit into
mainfrom
issue-1201-oneinthreesat-subsetproduct

Commits on Nov 4, 2026
- Fix #1201: [Rule] OneInThreeSatisfiability to SubsetProduct
  
  isPANN
  and
  claude
  committed
  ac461c8