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 different neighbors constraints #55

Closed jeremydover closed 6 months ago

jeremydover commented 6 months ago

Inspired by clover! https://discord.com/channels/709370620642852885/875124233846554694/1226543731910377594

Probably want to add a negative constraint for these. But I hate negative constraints :-(

jeremydover commented 6 months ago

Implemented in 5/20/2024 push. Negative constraint not implemented...this one is complex enough. Did include option to include clue cell in count of different digits.