[zypp-commit] r10555 - in /trunk/sat-solver/tools: CMakeLists.txt repo2solv.sh