/minesweeper-prover9

Let Prover9 tell you how to solve minesweeper :)

Primary LanguageVueMIT LicenseMIT

Stargazers