Correction d'un bug dans satSolver (résultat incorect, mais toutes les variables sont assignées à la sortie)
Merge branch 'master' of github.com:Artifere/Rendu1