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
500 fichiers par batch au lieu de 2000 pour 80 variables
Nettoyage de commentaire/code
Gros nettoyage dans l'organisation des dossiers gentests/moulinette
Retour au random sans boost
MAJ des noms d'exécutables et scripts de moulinette
Renommage des watched, un peu comme tu m'avais suggéré
COrrection erreur compil
Correction bugs scripts moulinette
Modif pour profiling (Makefile)
MAJ 3 courbes (il reste 80 var), et modif noms de fichiers pour ordre d'énumération
Correction erreur dans les scripts de gnuplot
MAJ de la courbe 80 vars
Correction de la courbe 30 vars
Tests Armaël
Modif Makefile => faut qu'on en discute
ajout de MOMS approché : on utilise des valeurs approchées pour les occurences des variables dans les clauses
Test avec ma version, mais moyen de l'améliorer sûrement