1. 41
  1. 9

    As someone who dislikes package managers and constraint solvers… this is quite lovely, and it is so obvious how to do it in retrospect.

    1. 6

      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.

      1. 3

        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