| SRC += src/proof/pdr/pdrCnf.c \ | |
| src/proof/pdr/pdrCore.c \ | |
| src/proof/pdr/pdrIncr.c \ | |
| src/proof/pdr/pdrInv.c \ | |
| src/proof/pdr/pdrMan.c \ | |
| src/proof/pdr/pdrSat.c \ | |
| src/proof/pdr/pdrTsim.c \ | |
| src/proof/pdr/pdrTsim2.c \ | |
| src/proof/pdr/pdrTsim3.c \ | |
| src/proof/pdr/pdrUtil.c |