SRC +=  src/sat/xsat/xsatSolver.c \
    src/sat/xsat/xsatSolverAPI.c \
    src/sat/xsat/xsatCnfReader.c