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 drchickensalad on Sunday March 05, 2017 @02:07PM (#13797839)
It's very simply provable that there exist configurations you must guess in, even if weighted.
[ Parent | on HN ]

There are no comments on this comment yet.