rAKA/src/solver/solver_inline_impl.cc

bugfixes/27-bug-in-the…f43c94d839a1613774f5c87…