module.make 153 Bytes
Newer Older
1 2 3 4 5
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