News for hackers. Stuff that matters.
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.

There are no comments on this comment yet.