SRC +=    src/base/abci/abc.c \
    src/base/abci/abcAttach.c \
    src/base/abci/abcAuto.c \
    src/base/abci/abcBalance.c \
    src/base/abci/abcClpBdd.c \
    src/base/abci/abcClpSop.c \
    src/base/abci/abcCut.c \
    src/base/abci/abcDsd.c \
    src/base/abci/abcEspresso.c \
    src/base/abci/abcFpga.c \
    src/base/abci/abcFraig.c \
        src/base/abci/abcFxu.c \
    src/base/abci/abcMap.c \
    src/base/abci/abcMiter.c \
    src/base/abci/abcNtbdd.c \
    src/base/abci/abcPga.c \
    src/base/abci/abcPrint.c \
    src/base/abci/abcProve.c \
    src/base/abci/abcReconv.c \
    src/base/abci/abcRefactor.c \
    src/base/abci/abcRenode.c \
    src/base/abci/abcRewrite.c \
    src/base/abci/abcSat.c \
    src/base/abci/abcStrash.c \
    src/base/abci/abcSweep.c \
    src/base/abci/abcSymm.c \
    src/base/abci/abcTiming.c \
    src/base/abci/abcUnate.c \
    src/base/abci/abcUnreach.c \
    src/base/abci/abcVanEijk.c \
    src/base/abci/abcVanImp.c \
    src/base/abci/abcVerify.c