Minesweeper solver

IA02 - Logique et Résolution de problèmes par la recherche

Project Assignment - Université de Technologie de Compiègne (Spring 2021)

We developped a program to solve special minesweeper using SAT solver.

How to lauch

Comment se lance le programme:

lancer le main.py

Fonctionnalités du programme::

utiliser pip install -r requirements.txt

Spécificité de votre progamme:

on a utiliser le solver pycryptosat ainsi que des listes d'attentes afin de traiter les différentes opérations

📂 Dependencies

We used pycryptosat solver (you can find it using pip).

📜 Contributors

Louis Jeanneau:

Yvain Raynaud: