Implémentation de listes d'association
Implémentation de la numérotation des variables.
Gestion complète de l'option tseitin.
Merge branch 'tseitin' of https://github.com/BenzoX/Projet-SAT into tseitin

Conflicts:
	Makefile
	main.ml
	tseitin.ml
	valuation.ml
Mise à jour étrange