[zypp-devel] sat-solver and static libraries