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