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