SRC +=    src/proof/acec/acecCore.c \
    src/proof/acec/acecFadds.c \
    src/proof/acec/acecOrder.c \
    src/proof/acec/acecPolyn.c \
    src/proof/acec/acecUtil.c