EXEC      = minisat
DEPDIR    = mtl utils


MROOT=../
include $(MROOT)/mtl/template.mk
