Fusion avec la version objet.
Fusion avec la version objet. Merge branch 'master' of https://github.com/BenzoX/Projet-SAT

Conflicts:
	README
	clause.ml
	dpll.ml
	fnc.ml
	heuristiques.ml
	main.ml
	test.ml
	test.txt
	tseitin.ml