EXEC      = graphsat
DEPDIR    = mtl utils includes includes/cudd propagators propagators/utils 

include $(MROOT)/mtl/template.mk
