EXEC      = minisat-BTL-SAT12
DEPDIR    = mtl utils
MROOT = ../
include $(MROOT)/mtl/template.mk
