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 Buge on Sunday March 05, 2017 @07:37PM (#13799871)
I pointed this out before the last time you plugged your implementation.

It has a bug in it. If you right click (place a flag) then right click (remove that flag) then left click, it places a flag instead of revealing.

[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by ronilan on Monday March 06, 2017 @02:39AM (#13801257)
I fixed it. Now, there are no known bugs.
[ Parent | on HN ]