[zypp-commit] r11730 - in /trunk/sat-solver/doc: HISTORY PLANNING README README.attr README.format README.policy README.pool README.queue SOLVER THEORY