Re: [gentoo-dev] Re: SAT-based dependency solver: request for test cases

2018-02-13 Thread Michael Lienhardt
Thanks a lot for this list! You are totally right, simply translating the dependencies into SAT constraints and feeding them to a solver returns in most cases a very bad, totally useless solution. However, nowadays many solvers support solution optimization, i.e., you can specify an ordered

Re: [gentoo-dev] Re: SAT-based dependency solver: request for test cases

2018-02-13 Thread Michał Górny
W dniu wto, 13.02.2018 o godzinie 07∶49 +, użytkownik Martin Vaeth napisał: > Michael Lienhardt wrote: > > > > ad-hoc fixes and tweaks that can hardly be encoded into SAT constraints. > > The main difficulty which I see is that one does not want only _some_ >

Re: [gentoo-dev] Re: SAT-based dependency solver: request for test cases

2018-02-07 Thread Michael Lienhardt
Il 07/02/2018 05:11, Duncan ha scritto: AFAIK, (plain) etc-portage semantics are the same for both files -- that is, /etc/portage/package.keywords and the newer package.accept_keywords are identical. The reason for the new name and deprecation of the old one was that package.keywords also