[zypp-commit] r10870 - in /trunk/sat-solver: package/libsatsolver.changes tools/repo_products.c tools/repo_products.h tools/rpmdb2solv.c