#SOLVEURS 3-SAT Projet de Méta-Heuristique M1-S2 USTHB. ##ESPACE DES ETATS
Projet contenant solveur 3-SAT par les méthodes:
- Largeur d'abord
- Profondeur d'abord
- Algorithme A*
###Etat
Représenté par une table de caractères.
Chaque caractère représente l'état d'une clause.