[zypp-commit] r8074 - in /trunk/sat-solver/src: pool.h pooltypes.h repo_solv.c