Repository navigation

Fix #1206: [Rule] SubsetProduct to CircuitSAT - #1244

Open

isPANN wants to merge 1 commit into

mainfrom

issue-1206-subset-product-circuit-sat

Open

Fix #1206: [Rule] SubsetProduct to CircuitSAT#1244
isPANN wants to merge 1 commit into
mainfrom
issue-1206-subset-product-circuit-sat

Commits on Nov 4, 2026
- Fix #1206: [Rule] SubsetProduct to CircuitSAT
  
  isPANN
  and
  claude
  committed
  4ceb0e5