[zypp-commit] r10967 - in /trunk/sat-solver: CMakeLists.txt applayer/CMakeLists.txt bindings/CMakeLists.txt testsuite/CMakeLists.txt tools/CMakeLists.txt