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