CSRC += ltl.c ltlSet.c ltlTableau.c ltlAutomaton.c ltlMinimize.c ltlCompose.c ltlUtil.c
HEADERS += ltl.h ltlInt.h

DEPENDENCYFILES = $(CSRC)