SRC +=    src/sat/bmc/bmcBmc.c \
    src/sat/bmc/bmcBmc2.c \
    src/sat/bmc/bmcBmc3.c \
    src/sat/bmc/bmcCexCut.c \
    src/sat/bmc/bmcCexDepth.c \
    src/sat/bmc/bmcCexMin1.c \
    src/sat/bmc/bmcCexMin2.c \
    src/sat/bmc/bmcCexTools.c \
    src/sat/bmc/bmcLoad.c \
    src/sat/bmc/bmcUnroll.c