...
Merge branch 'master' of https://github.com/PjPatSy/Pj101

Conflicts:
	edt
	sat
	src/dimacs.o
	src/edt.o
	src/formule.o
	src/lex.yy.o
	src/main-edt.o
	src/main.o
	src/parser.tab.o
	src/sat.o