SRC +=    src/proof/ssc/sscClass.c \
    src/proof/ssc/sscCore.c \
    src/proof/ssc/sscSat.c \
    src/proof/ssc/sscSim.c \
    src/proof/ssc/sscUtil.c