SRC +=    src/sat/glucose2/AbcGlucose2.cpp \
    src/sat/glucose2/AbcGlucoseCmd2.cpp \
    src/sat/glucose2/Glucose2.cpp \
    src/sat/glucose2/Options2.cpp \
    src/sat/glucose2/SimpSolver2.cpp \
    src/sat/glucose2/System2.cpp