[zypp-devel] Re: sat-solver must not abort()