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