Cracking Minesweeper with Z3 SMT Solver

Re:Cracking Minesweeper with Z3 SMT Solver by ballenf on Sunday March 05, 2017 @02:47PM (#13798118)

I'm sure someone's maxed the strategy, but playing I would always try to figure out when I got to those forced-guess situations which click had the lowest probability of being a mine. I.e., there were squares that you knew were 1/2 or 1/3 chance, you knew how many total unrevealed mines and number of unrevealed squares. So you could calculate the odds on any given square.

One of those problems I always wanted to work on on my own, knowing that someone somewhere probably had a much better solution.

[ Parent | on HN ]

Re:Cracking Minesweeper with Z3 SMT Solver by Hussell on Sunday March 05, 2017 @03:20PM (#13798325)

There's a minesweeper solver which works out all the probabilities of uncertain squares. http://mrgris.com/projects/minesweepr/demo/player/

The creator wrote an explanation here: http://mrgris.com/projects/minesweepr/

[ Parent | on HN ]

Re:Cracking Minesweeper with Z3 SMT Solver by i336_ on Sunday March 05, 2017 @06:02PM (#13799404)

This implementation shows you where the mines are!

This will be so useful for actually helping me understand how Minesweeper works - theoretical explanations just make my eyes glaze over more often than not.

[ Parent | on HN ]