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