Hacker News new | ask | show | jobs
Playing Minesweeper with a SMT Solver (github.com)
3 points by stong1 368 days ago