[zypp-commit] r11389 - in /trunk/sat-solver: CMakeLists.txt cmake/modules/FindCheck.cmake tests/CMakeLists.txt