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
