[zypp-commit] <sat-solver> SuSE-Code-11-Branch : changes