[zypp-commit] r7932 - in /trunk/sat-solver/src: sat_debug.c sat_debug.h