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
Implement support for line sum clues #50
Closed
jeremydover closed 6 months ago
Inspired by clover! https://discord.com/channels/709370620642852885/875124233846554694/1235214173147889718