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