Hacker News new | ask | show | jobs
by stong1 378 days ago
Reminds me of a small project I did back in undergrad: Minesweeper using a SMT solver. https://github.com/stong/smt-minesweeper