Implémentation d'un solveur SAT