[zypp-commit] <sat-solver> master : evr doesn't change the Pool: more constness