Homec4science

rAKA/src/model/solver_callback.cc
0e4984f5a64dbugfix/69-segmentation…