2 ms·

Reminds me of a small project I did back in undergrad: Minesweeper using a SMT solver. https://github.com/stong/smt-minesweeper https://github.com/stong/smt-min

by stong1 1y ago

Reminds me of a small project I did back in undergrad: Minesweeper using a SMT solver. https://github.com/stong/smt-minesweeper https://github.com/stong/smt-minesweeper