Suppression des exceptions EmptyClause pesantes.
Correction boucle infinie. Not_found ?
Merge branch 'master' of https://github.com/BenzoX/Projet-SAT

Conflicts:
	dpll.ml
	fnc.ml
Implementation de l'algo DPLL. Fichiers de test.
Suppression des fichiers surnuméraires.
Suppression des exceptions. Mise à jour des fichiers de test.
Mise à jour du README
Merge pull request #1 from BenzoX/No_exception

No exception
Retrait d'un rec superflu dans fnc.ml
Merging.

Conflicts:
	dpll.ml
	fnc.ml
	ignore.sh
	main.ml
	test.sh
	unignore.sh