Re: [zypp-devel] sat pool/stringspace/solver question.