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