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