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