← Back to context

Comment by stong1

6 months ago

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

0 comments

stong1

Reply

No comments yet

Contribute on Hacker News ↗