/sat-minesweeper

An SAT-based Minesweeper agent.

Primary LanguagePythonMIT LicenseMIT

Stargazers