rAKA/src/model/solver_callback.cc

old-master