SRC +=  src/sat/bsat/satMem.c \
    src/sat/bsat/satInter.c \
    src/sat/bsat/satInterA.c \
    src/sat/bsat/satInterB.c \
    src/sat/bsat/satInterP.c \
    src/sat/bsat/satProof.c \
    src/sat/bsat/satSolver.c \
    src/sat/bsat/satSolver2.c \
    src/sat/bsat/satSolver2i.c \
    src/sat/bsat/satSolver3.c \
    src/sat/bsat/satStore.c \
    src/sat/bsat/satTrace.c \
    src/sat/bsat/satTruth.c \
    src/sat/bsat/satUtil.c