PROJECT = sat-proof-verification-slides

$(PROJECT).pdf : $(PROJECT).tex
	pdflatex $(PROJECT).tex && evince $(PROJECT).pdf &

