[zypp-commit] <sat-solver> master : - fix problem_to_solutions segfault