News for hackers. Stuff that matters.
Re:Cracking Minesweeper with Z3 SMT Solver by jmtame on Sunday March 05, 2017 @02:48PM (#13798121)
I think it would depend on a few things: the size of the grid, how many bombs there are, and whether the board uses the rule of "the first click is guaranteed not to be a mine."

There are no comments on this comment yet.