GitHub - Fourure/SAT: Solveur Sat en C++

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
Formule.cpp		Formule.cpp
Formule.hpp		Formule.hpp
Main.cpp		Main.cpp
Parsers.cpp		Parsers.cpp
Parsers.hpp		Parsers.hpp
README		README
Rapport.pdf		Rapport.pdf
Solveur.cpp		Solveur.cpp
Solveur.hpp		Solveur.hpp

Repository files navigation

Projet réalisé dans le cadre du cours LIF11 : logique classique de l'université Lyon 1
Professeur : Emmanuel Coquery

Le but du projet était de coder un solveur SAT ( un solveur indiquant si une formule booleene est satisfiable ou pas ).

Le prof nous ayant fourni un code de base, j'ai écris le fichier Main.cpp ainsi que les fichiers Solveur.cpp et Solveur.hpp