Réorganisation du code.
Ventilation des tests.
Parser pour la logique de différence.
Avancement de SMT. Implementation d une association bijective polymorphe
Implementation de Bellman Ford
Nettoyage du depot. Renvoi d un cycle negatif.
Implémentation du solveur Diff. Tests. Presque OP.
Avancement du solveur SMT (phase de tests).
Un petit TODO.
Update TODO.md
Merge pull request #4 from BenzoX/nettoyage

Nettoyage