[zypp-commit] <sat-solver> master : - add changes, bump version, fix comment