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