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

2018-02-12 Thread 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_ solution, but among all solutions one which optimizes certain quantities. So it seems to me that a discrete optimization unde

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

2018-02-12 Thread Michael Lienhardt
Dear MichaƂ, I understand your concerns, and for some time I shared them too. Portage is a very complex piece of software that evolved for almost 20 years to perform a very difficult task quite quickly with good results, so it is bound to contain many ad-hoc fixes and tweaks that can hardly be

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

2018-02-12 Thread Michael Lienhardt
Sorry for the late reply. This is a very interesting offer :) However, I don't have the capacity to manage such quantity of data yet. Up until now, I performed my tests in a VM on my laptop without anything else running... Few days ago, my department lent me a dedicated laptop to perform the tes

[gentoo-dev] newsitem: baselayout 2.5 changes (round 2)

2018-02-12 Thread William Hubbs
All, here is an updated newsitem based on the comments I have received so far. William Title: baselayout 2.5 updates Author: William Hubbs Posted: 2018-02-xx Revision: 1 News-Item-Format: 2.0 Display-If-Installed: signature.asc Description: Digital signature