rAKA/src/model/common/solver_callback.cc

features/cleaning-dead…d5726d36cee232a5fe800d1…