[zypp-commit] <sat-solver> master : Drop 'explain', replace with 'ruleinfo'