SRC +=  src/sat/msat/msatActivity.c \
    src/sat/msat/msatClause.c \
    src/sat/msat/msatClauseVec.c \
    src/sat/msat/msatMem.c \
    src/sat/msat/msatOrderH.c \
    src/sat/msat/msatQueue.c \
    src/sat/msat/msatRead.c \
    src/sat/msat/msatSolverApi.c \
    src/sat/msat/msatSolverCore.c \
    src/sat/msat/msatSolverIo.c \
    src/sat/msat/msatSolverSearch.c \
    src/sat/msat/msatSort.c \
    src/sat/msat/msatVec.c