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
Add support for parity count lines #27
Closed
jeremydover closed 2 years ago
On a parity count line, the end points give the number of odd/even digits on the line. See Richard Stolk's https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=000B15.