Playing Minesweeper with a SMT Solver

3 points| stong1 | 8 months ago |github.com