News for hackers. Stuff that matters.

A comment on Cracking Minesweeper with Z3 SMT Solver. Parent comment

Re:Cracking Minesweeper with Z3 SMT Solver by mhils on Sunday March 05, 2017 @02:25PM (#13797959)
Not for normal minesweeper, but there are always-solvable variants: http://www.chiark.greenend.org.uk/~sgtatham/puzzles/js/mines...
[ Parent | on HN ]

There are no comments on this comment yet.