[zypp-commit] <sat-solver> master : Adapt to the solver_problemruleinfo -> solver_ruleinfo namechange