SRC +=    src/aig/dch/dchAig.c \
    src/aig/dch/dchCore.c \
    src/aig/dch/dchMan.c \
    src/aig/dch/dchSat.c \
    src/aig/dch/dchSim.c