m1info SVN

ajout des slides de la prsentations (fait à l'arach')
dernieres modification du rapport

vrac et compagnie

mais aussi le rapport

script qui génére des données et un fichier gnuplot pour l'affichage des resultats

suppression des iterateur (responsable de l'itulisation memoire)

Le code semble bien fonctionner
@TODO s'inspirer du code de minisat pour simplifier les clauses si possible car il faut limiter l'utilisation memoire qui est enorme'

Réécriture du code en vala, moins de problèmes de gestion de mémoire dans les listes des littéraux et clauses.

Fin du code pour l'implementation de WalkHorn
Il manque des commentaires
Aucun test sur la validité de l'implémantation n'a été fait

Pour le moment ça compile c'est tout ... et c'est déjà bien

projet TER
Benchs/ -> fichiers de formules sat
fichiers/ -> pdf, doc sur le projet
src/ -> ... sources

generateur de graphe

importation du projet de complexite depuis assembla