[zypp-commit] <sat-solver> master : add 'equality' operator for Pool