| 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 |