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
