GitHub repository: reid-moffat/minesweeper-logic
Primary language: Python
Created: 2020-12-31T04:53:39Z
Description: A python project that uses propositional logic to solve minesweeper states