[zypp-commit] r7811 - in /trunk/sat-solver: CMakeLists.txt VERSION.cmake testsuite/runtest.rb