awkwardbunny/z3-sudoku

Sudoku (and variants) solver using Z3

4 best points · 1 comments · 1 Hacker News post · 9 GitHub stars · View on GitHub

Hacker News discussions

• Sudoku solver using Z3-Prover (4 points, 1 comments, by brianhong, 2021-05-01)