Fix quadruples implementation so that countSolutions works

jeremydover / ORsudoku

A Python class which allows (relatively) easy modeling of common (and some uncommon) Sudoku constraints for Google's ORTools SAT Solver.

GNU General Public License v3.0

0 stars 0 forks source link

Fix quadruples implementation so that countSolutions works #45

Closed jeremydover closed 7 months ago

jeremydover commented 7 months ago

There is some bit flopping in the logic that implements quadruples (particularly the case where the same digit appears on the diagonal of a quad) which makes a digitally unique solution not Boolean unique. Clean it up.

jeremydover commented 7 months ago

Fixed in 5/1/2024 push