m1info SVN

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

Suppression du vieux code de complexite pour l'importation d'assembla

ajout de plot qui génère des fichiers utilisable avec gnuplot

nettoyage

ajout des vues (oublie du commit précédent)
création de l'exécutable sous forme de jar