ajout de sat_solver.hh (contient la classe SatPrblem qui résoud le CNF donné en entrée)