[zypp-commit] r7657 - in /trunk/sat-solver: CMakeLists.txt README libsatsolver.changes libsatsolver.spec.in package/ package/libsatsolver.changes package/libsatsolver.spec.in src/CMakeLists.txt