SRC +=    src/proof/acec/acecCore.c \
    src/proof/acec/acecCo.c \
    src/proof/acec/acecRe.c \
    src/proof/acec/acecPo.c \
    src/proof/acec/acecCover.c \
    src/proof/acec/acecFadds.c \
    src/proof/acec/acecOrder.c \
    src/proof/acec/acecPolyn.c \
    src/proof/acec/acecUtil.c