[zypp-commit] r10863 - in /trunk/libzypp/zypp/solver/detail: SATResolver.cc SATResolver.h