[zypp-commit] r11889 - /trunk/sat-solver/applayer/decision.c