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