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/satSolver.c \
    src/sat/bsat/satStore.c \
    src/sat/bsat/satTrace.c \
    src/sat/bsat/satUtil.c