[zypp-commit] r8291 - in /trunk/sat-solver: doc/README.format src/pool.c src/pool.h src/pooltypes.h src/repo.c src/repo.h src/repo_solv.c