CSRC += satConflict.c satImplication.c satMain.c \
        satUtil.c satDecision.c satInc.c satDebug.c\
        satInterface.c satBDD.c satCore.c
HEADERS += sat.h satInt.h

DEPENDENCYFILES = $(CSRC)