[zypp-commit] r11804 - /branches/SuSE-Linux-11_0-Branch/sat-solver/src/solver.c