stong/smt-minesweeper

Playing Minesweeper using Z3

3 best points · 0 comments · 1 Hacker News post · 7 GitHub stars · View on GitHub

Hacker News discussions

• Playing Minesweeper with a SMT Solver (3 points, 0 comments, by stong1, 2025-06-12)