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 taneq on Monday March 06, 2017 @01:21AM (#13801016)
You ratbag, you just cost me 10 minutes. :P

Nice implementation though. :)

[ Parent | on HN ]

There are no comments on this comment yet.