Nettoyage du dépôt git
Makefile mis à jour
Truc Makefile
Unassigned temps constant débuggé
Adaptation de BasicClauseWatched à la v2; ajout de  -Wno-unused-parameter au makefile
Bugfix (???) de unassignedVar
Ajout de chooseRAND
SUppression fichier test mal placé
Mega optimisation de la mort qui tue des BasicWatchedClauses
utilisation de intptr_t au lieu de long long dans ConstAssignClause
nettoyage de code, une ou deux petites optimisations
correction du bug de CONSTR_ARGS dans le cas du bench (trop d'arguments donnés
encore un peu de nettoyage
Diverses modifs mineures : MAJ des benchs results, changement du type de Variable utilisée (constAssigne, etc.) et remise dans le Makefile du cp bench blabla
Merge branch 'master' of github.com:Artifere/Rendu1
correction de chooseRAND pour avoir un choix vraiment aléatoire
petites améliorations
Adaptation du parser à la v2 (facilite la creation de SatPRoblem)
encore quelques petites optimisations, sur la partie hors moteur proprement dit (création SatSolver, ...)
MAJ résultats bench