[zypp-commit] <sat-solver> - add pool_whatprovides_ptr() helper