root=.
include ../../PROGNAME
#prog=trp++
sources=main.cc
subdirs=builder_ltl stl_tim adaptor builder prover getopt misc unsat_core

include $(root)/Makefile.inc

