SRC += src/sat/bsat2/AbcApi.cpp \ src/sat/bsat2/MainSat.cpp \ src/sat/bsat2/MainSimp.cpp \ src/sat/bsat2/Options.cpp \ src/sat/bsat2/SimpSolver.cpp \ src/sat/bsat2/Solver.cpp \ src/sat/bsat2/System.cpp