GitHub / jwang541 / Minesweeper-Solver-SAT
💣 Minesweeper solver implemented using pysat and visualized using pygame. Also a version of Minesweeper with no guessing needed!
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jwang541%2FMinesweeper-Solver-SAT
PURL: pkg:github/jwang541/Minesweeper-Solver-SAT
Stars: 0
Forks: 0
Open issues: 0
License: mit
Language: Python
Size: 184 KB
Dependencies parsed at: Pending
Created at: about 3 years ago
Updated at: almost 3 years ago
Pushed at: almost 3 years ago
Last synced at: about 2 years ago
Topics: algorithm, boolean-satisfiability, game, minesweeper, minesweeper-solver, puzzle, pygame, python