Re: [zypp-devel] Re: sat solver enhancements and questions