[zypp-commit] r10640 - in /trunk/sat-solver: src/solver.c testsuite/README.FAILS