EXEC = minisat
DEPDIR    = mtl utils core
MROOT = $(PWD)/..
include $(MROOT)/mtl/template.mk
