[zypp-commit] <sat-solver> master : Reuse Ruleinfo to explain solver decisions