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

Add support for consecutive chain constraint #35

Closed jeremydover closed 1 year ago

jeremydover commented 1 year ago

Presented by Bill Murphy in GAS: https://discord.com/channels/709370620642852885/875124233846554694/1081596617184002099

Region has all digits, but there exists an orthogonal chain connecting the digits consecutively. Interesting modelling problem.

jeremydover commented 1 year ago

Support added in 5/11/2023 update

jeremydover commented 1 year ago

Support added in 5/11/2023 update

jeremydover commented 1 year ago

Support added in 5/11/2023 update