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 punctured cages #29
Closed
jeremydover closed 1 year ago
As in https://logic-masters.de/Raetselportal/Raetsel/zeigen.php?id=000CT0, a punctured cage is one where the sum given is the sum of all but one digit in the cage.