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