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 jontro on Sunday March 05, 2017 @04:18PM (#13798730)
This was my first try: http://imgur.com/a/EQsm8

I guess I should not buy lottery tickets today

[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by i336_ on Sunday March 05, 2017 @05:59PM (#13799384)
I got a bomb on my 2nd random click.
[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by ronilan on Sunday March 05, 2017 @06:51PM (#13799657)
Just an interesting tidbit - you can't bomb (bug) on first click. If you hit one, the board is reshuffled so that your first click is good. Apparently this fantastic UX feature was part of the original game. When someone pointed that out first time I posted it here - I just had to add it.
[ Parent | on HN ]