SRC +=  src/sat/bsat/satMem.c \
    src/sat/bsat/satSolver.c \
    src/sat/bsat/satUtil.c