[zypp-commit] r10701 - in /trunk/sat-solver: CMakeLists.txt CTestConfig.cmake