DPLL, a SAT problem solution.

Première année master SII 2014/2015 - USTHB

#Languages ##Programmation C. ##Comments and doc French.

#Description Implémentation de l'algorithme DPLL, solution du problème SAT, en langage C.

#AUTHORS SamyAB (samyab2@gmail.com)

#IMPORTANT Les fichiers utilisés en entrée doivent respcter le format des fichiers benchmark proposés sur http://www.satlib.org !