GitHub repository: BlakeC97/MineSAT-Penn
Primary language: Python
Description: Minesweeper Solver using OR-Tools