Dennis Yurichev personal blog
Cracking Minesweeper with Z3 SMT Solver
The original page did not respond normally when we last checked (HTTP 404). The archived copy may help.
- Points
- 177
- HN comments
- 56
- Submissions
- 1
- Cited by
- 0 commenters
Math & AlgorithmsSoftware Engineering2017
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Mar 5, 2017 | Cracking Minesweeper with Z3 SMT Solver by iou | 177 | 56 |
