Ajout d'un début de scripts pour gnuploter
ajout du .dat
suppression de l'option INLINED_CLAUSE : elle est maintenant forcement définie; choix de l'implementation avec -DCLAUSE=...
MAJ script de moulinette, et courbes
Merge branch 'master' of github.com:Artifere/Rendu1
MAJ moulinette => minisat, et fichiers unsat corrects pour minisat
enlève tous les .inline.hh des clauses
Générateurs de tests opérationnel
MAJ scripts moulinette
Merge branch 'master' of github.com:Artifere/Rendu1
Suppression d'un gros fichier d'entrée inutile
creation de compile_benchs.sh qui compile tous les executables pour le bench et les copie dans les dossiers de tests
MAJ tests de gentest et comparatif
Merge branch 'master' of github.com:Artifere/Rendu1
Modif du générateur de la morkitue (R) : on génère des trucs pour gnuplot ! =D
MAJ des courbes, trucs sympas avec 30 et 50 variables
Ajout pour 75 var
Ajout de courbes pour 80 var
Modifs diverses makefile/script compile. Changement du random pour utiliser boost. MAJ des courbes en conséquences, sauf 80 var
MAJ courbe 80 var avec randMieux