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 orasis on Sunday March 05, 2017 @04:50PM (#13798938)
No. some configurations can be solved perfectly but as you get to higher mine density it becomes probabilistic.
[ Parent | on HN ]

There are no comments on this comment yet.