Résolveur de problèmes SAT