Préliminaires sur les structures de données nécessaires.
Clause learning.
Ajout de l'option clause learning.
Integration de l'apprentissage de clauses au dpll.
Mise à jour des README. Progrès dans le clause learning.
Modification des prints.
Blarf je trouve le conflit et sa cause
Graphe des conflits, avec des sommets en trop.
Arret avant conflit, epuration unitaire.
Final du rendu : Exemples, README et clause_learning fonctionnel.
Merge pull request #3 from BenzoX/cdcl

Cdcl