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