/Minesweeper-Solver-SAT

💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!

Primary LanguagePythonMIT LicenseMIT

Stargazers