[zypp-commit] r10987 - in /trunk/sat-solver: src/CMakeLists.txt tools/CMakeLists.txt