CSRC +=  puresatUtil.c puresatBMC.c puresatRefine.c puresat.c puresatMain.c puresatIPAbRf.c puresatAig.c puresatArosat.c puresatIPUtil.c puresatIPRefine.c puresatTFrame.c puresatFlatIP.c
HEADERS += puresat.h puresatInt.h

DEPENDENCYFILES = $(CSRC)