| SRC += src/proof/cec/cecCec.c \ | |
| src/proof/cec/cecChoice.c \ | |
| src/proof/cec/cecClass.c \ | |
| src/proof/cec/cecCore.c \ | |
| src/proof/cec/cecCorr.c \ | |
| src/proof/cec/cecIso.c \ | |
| src/proof/cec/cecMan.c \ | |
| src/proof/cec/cecPat.c \ | |
| src/proof/cec/cecSat.c \ | |
| src/proof/cec/cecSatG.c \ | |
| src/proof/cec/cecSeq.c \ | |
| src/proof/cec/cecSolve.c \ | |
| src/proof/cec/cecSplit.c \ | |
| src/proof/cec/cecSynth.c \ | |
| src/proof/cec/cecSweep.c |