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