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