SRC +=    src/aig/cec/cecAig.c \
    src/aig/cec/cecClass.c \
    src/aig/cec/cecCnf.c \
    src/aig/cec/cecCore.c \
    src/aig/cec/cecMan.c \
    src/aig/cec/cecSat.c \
    src/aig/cec/cecSim.c \
    src/aig/cec/cecStatus.c \
    src/aig/cec/cecSweep.c