SRC +=    src/aig/dch/dchAig.c \
    src/aig/dch/dchChoice.c \
    src/aig/dch/dchClass.c \
    src/aig/dch/dchCnf.c \
    src/aig/dch/dchCore.c \
    src/aig/dch/dchMan.c \
    src/aig/dch/dchSat.c \
    src/aig/dch/dchSim.c \
    src/aig/dch/dchSimSat.c \
    src/aig/dch/dchSweep.c