search

jeremydover / ORsudoku

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 fast thermos #43

Closed jeremydover closed 10 months ago

jeremydover commented 11 months ago

Fast thermos have to differ by at least 2 moving up the thermo. No reason not to make the difference a variable.

jeremydover commented 10 months ago

Implemented in 1/6/2024 update