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
