[zypp-commit] r10894 - in /branches/SuSE-Linux-11_0-Branch/sat-solver: src/solver.c testsuite/data.libzypp/yast-tests/exercise-kdelibsobs-test.solution