GitHub repository: Jannik6928/Minesweeper-SAT
Primary language: Python
Created: 2022-07-08T20:27:49Z
Description: 💣 Minesweeper solver implemented using pysat and visualized using pygame.