[zypp-commit] r8245 - in /trunk/sat-solver/examples/ruby: decision.rb problem.rb