SRC +=    src/proof/acec/acecCl.c \
    src/proof/acec/acecCore.c \
    src/proof/acec/acecCo.c \
    src/proof/acec/acecBo.c \
    src/proof/acec/acecRe.c \
    src/proof/acec/acecPa.c \
    src/proof/acec/acecPo.c \
    src/proof/acec/acecPool.c \
    src/proof/acec/acecCover.c \
    src/proof/acec/acecFadds.c \
    src/proof/acec/acecMult.c \
    src/proof/acec/acecNorm.c \
    src/proof/acec/acecOrder.c \
    src/proof/acec/acecPolyn.c \
    src/proof/acec/acecSt.c \
    src/proof/acec/acecTree.c \
    src/proof/acec/acecUtil.c \
    src/proof/acec/acec2Mult.c \
    src/proof/acec/acecXor.c