[zypp-commit] r7651 - in /trunk/sat-solver: bindings/ruby/CMakeLists.txt bindings/ruby/satsolver.rb bindings/satsolver.i src/pool.c src/pool.h