[zypp-commit] r7666 - in /trunk/sat-solver: src/pool.c src/solver.c testsuite/deptestomatic.c