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 renrenbanban lines #36
Closed
jeremydover closed 1 year ago
Per DarthParadox: https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=000DQ3