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.
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.