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 petermcnister25 on Sunday March 05, 2017 @04:36PM (#13798838)
Every time I read a minesweeper article I let my browser autocomplete "mines" to go to your program. Thanks for making it!
[ Parent | on HN ]

There are no comments on this comment yet.