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