As someone who dislikes package managers and constraint solvers… this is quite lovely, and it is so obvious how to do it in retrospect.
Theoretically, one could upload them to the public PyPI (these rules are only ever uploaded once, not every time we need to solve a board), but that feels abusive.
However, it would be hilarious.
Prior post about solving sudoku with dpkg: http://web.archive.org/web/20160326062818/http://algebraicthunk.net/~dburrows/blog/entry/package-management-sudoku/
Sadly, Go can’t solve sudoku because it was deliberately designed to not be a SAT solver: https://research.swtch.com/version-sat https://research.swtch.com/vgo-mvs
As someone who dislikes package managers and constraint solvers… this is quite lovely, and it is so obvious how to do it in retrospect.
However, it would be hilarious.
Prior post about solving sudoku with dpkg: http://web.archive.org/web/20160326062818/http://algebraicthunk.net/~dburrows/blog/entry/package-management-sudoku/
Sadly, Go can’t solve sudoku because it was deliberately designed to not be a SAT solver: https://research.swtch.com/version-sat https://research.swtch.com/vgo-mvs