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
However, nowadays many solvers support solution optimization, i.e., you can
specify an ordered
W dniu wto, 13.02.2018 o godzinie 07∶49 +, użytkownik Martin Vaeth
> 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_
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
The reason for the new name and deprecation of the old one was that