[zypp-commit] r10641 - in /branches/SuSE-Linux-11_0-Branch/sat-solver: src/solver.c testsuite/README.FAILS