Ajout de quelques fichiers d'input
ajout de ex0.cnf
Modif .gitignore
On peut compiler en mode release ou debug avec le Makefile. Par défaut release. make debug : debug
Correction du segfault
4 espaces par indentation...
Le format de sortie est correct
Correction d'un bug dans satSolver (résultat incorect, mais toutes les variables sont assignées à la sortie)
Merge branch 'master' of github.com:Artifere/Rendu1
correction d'un bug dans satSolver, et d'un autre (normalement sans consequence) dans BasicClause
Bug(s) corrigé(s) git add .! ça a l'air de bien mercher maintenant
Merge et correction bug dans BasicClause.cpp : quand on release une variable, ça met la clause à false
Un test moins long que le 4 pour tester l'insatisfiabilité
FAIL
Correction du bug. maintenant, normalement ça marche
un peu de nettoyage de code (dont refusion de la boucle 2-en-1 sale qui causait le bug)
derniers nettoyages du code, correction de quelques commentaires
Ajout d'affichage pour la vérification
Ajout de plein de tests de trucs satisfiables, et d'un programme de vérification de l'assignation
Correction d'un bug : ça marche mieux =)