[zypp-commit] r9780 - in /trunk/sat-solver: src/solver.h testsuite/deptestomatic.c testsuite/yps.c