[zypp-commit] r10913 - in /trunk/sat-solver: VERSION.cmake package/libsatsolver.changes src/solver.c