Minesweeper SAT Solver + TP 1-3

This project implements an interactive Minesweeper game in Python, featuring a Tkinter-based GUI and a SAT solver to ensure each game is solvable. In addition to the Minesweeper, we also solve the exercices of TP1 to TP3.

Features

• Interactive Gameplay: Click cells to reveal safe spots or mines.
• Solvable Boards: Each game board is generated using a SAT solver, guaranteeing solvability.
• Adjustable Difficulty: Modify board size and mine count.
• Solver Assistance: Options to auto-solve or reset the game.

Installation

pip install -r requirements.txt

Clone the Repository

git clone https://gitlab-student.centralesupelec.fr/aymane.lotfi/minesweeper-sat-solver.git
cd minesweeper-sat-solver

Run the software

python main.py