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 bpicolo on Sunday March 05, 2017 @04:51PM (#13798949)
Hmm, I seem to hit corner bugs a lot but in minesweeper the corners never had mines (which was like the whole initial strategy)
[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by AuzzieStig on Tuesday March 07, 2017 @12:04AM (#13808384)
Corners in minesweeper always had the same chance as any other square to be a bad choice even the example in the main article shows a corner mine
[ Parent | on HN ]