[zypp-commit] r9444 - in /trunk/libzypp/zypp/sat: SATResolver.cc SATResolver.h