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 error in indexing negative constraints #24

Closed jeremydover closed 2 years ago

jeremydover commented 2 years ago

Current code leaves a loophole in the varBitmap[k] case, where k is the row/column...it allows any value other than the row/column number to be there without enforcing the negative constraint. Really, this code could probably use some re-factoring...it is trying to cover too many cases too slickly.

jeremydover commented 2 years ago

Fixed in 9/20/2022 push