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 nicholaides on Sunday March 05, 2017 @03:11PM (#13798255)
You would think that if you clicked a bomb first, the app would regenerate the board until it made one where the place you clicked was not a bomb.
[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by ATsch on Sunday March 05, 2017 @03:15PM (#13798288)
Some games do this, some don't some only actually generate the field once you click the first box.
[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by ygra on Monday March 06, 2017 @09:00AM (#13802634)
The behaviour towards the user is the same, though: The first click never results in a bomb. Everything else is an implementation detail, although not placing bombs until after the first click is probably the easiest approach to ensure it.
[ Parent | on HN ]