Merge pull request #1 from Mystelven/valentin

suppressino des obj/
Merge pull request #2 from Mystelven/valentin

Valentin
Merge pull request #3 from Mystelven/valentin

Ajout de la 'classe' Genetic_Solver avec les déclarations des fonctions
Merge pull request #4 from Mystelven/valentin

Mise en place des outils génétiques
Merge pull request #5 from Mystelven/valentin

ajout de la documentation de Genetic_Solver
mise à jour du script qui calcul les résultats
Merge branch 'master' of https://github.com/Mystelven/PFE-SAT into valentin