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 Skyscrapers #19
Closed
jeremydover closed 2 years ago
Add support for skyscraper constraints