SRC +=    src/sat/glucose/AbcGlucose.cpp \
    src/sat/glucose/AbcGlucoseCmd.cpp \
    src/sat/glucose/Glucose.cpp \
    src/sat/glucose/Options.cpp \
    src/sat/glucose/SimpSolver.cpp \
    src/sat/glucose/System.cpp