ajout d'une methode addClause dans SatProblem (création d'un SatProblem plus propre, et elle sera probablement utile dans du code plus tard)
ajout d'une methode addClause dans SatProblem (création d'un SatProblem plus propre, et elle sera probablement utile dans du code plus tard)
remise à niveau à la dernière version