abcBridge-0.10.0.0: abc-build/src/proof/ssc/module.make

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