| SRC += src/proof/fra/fraBmc.c \ | |
| src/proof/fra/fraCec.c \ | |
| src/proof/fra/fraClass.c \ | |
| src/proof/fra/fraClau.c \ | |
| src/proof/fra/fraClaus.c \ | |
| src/proof/fra/fraCnf.c \ | |
| src/proof/fra/fraCore.c \ | |
| src/proof/fra/fraHot.c \ | |
| src/proof/fra/fraImp.c \ | |
| src/proof/fra/fraInd.c \ | |
| src/proof/fra/fraIndVer.c \ | |
| src/proof/fra/fraLcr.c \ | |
| src/proof/fra/fraMan.c \ | |
| src/proof/fra/fraPart.c \ | |
| src/proof/fra/fraSat.c \ | |
| src/proof/fra/fraSec.c \ | |
| src/proof/fra/fraSim.c |