Ajout de tout plein de tests... Et ça marche =D
Le script de test pour les instances satisfiables nettoie ses fichiers temporaires
Ajout d'un script bench qui ne fais qu'exécuter l'algo => pas d'affichage => benchs plus précis
Amélioration du script de test pour les clauses satisfiables
Amélioration de la morkitu du script de test pour les entrées satisfiables
Petit ajout : on traite le cas des clauses de taille 1 quand on les parse
Revert "Amélioration de la morkitu du script de test pour les entrées satisfiables"

This reverts commit b83577438c28545bdd0cd88f09e6c3c5ccd1a2b5.
Revert "Revert "Amélioration de la morkitu du script de test pour les entrées satisfiables""

This reverts commit 266f0508bc4208df1081fb328885893245cf685a.
Revert "Petit ajout : on traite le cas des clauses de taille 1 quand on les parse"

This reverts commit b081f25b2735b1921be570b01b41a540197baf58.
Un test qui renvoie pas le bon résultat. Je vois ce qui ne va pas, mais il est tard...
Rien
Petite amélioration
Ajout du prétraitement des clauses de taille 1 et des variables apparaissant avec une seule polarité
Petite amélioration & nettoyage de code
Le code pour déduire des valeurs quand il n'y a plus qu'une seule polarité... a l'air de bugger ><
On ajoute pas des déductions en double, et on détecte les collisions au plus tôt. Gain : rien
Test des deductions en double/contradictoire au plus tôt, mais version qui marche
Petite amélioration
Réécriture de satisfiability() pour plus de clarté (le callback passe du début de la boucle principale à la fin)
ajout d'une petite optimisation dans la propagation, qui permet d'éviter quelques tests pour savoir si on peut déduire quelque chose d'une clause