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
