Gentoo has one of the most complex package dependency graphs out there (probably the most complex of any distro), and it *really* takes a while to resolve when you have 2600 packages installed and haven't updated in 3 months. I wonder if it could be mapped to a SAT solver...
-
-
The pile of python that is portage is a very accurate description hahahahaha
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
The paper is partly a survey about existing package manager and partly about opam allowing external solvers. I think since then there might have been more research about that, I am just saying there are people who did look at this problem already from a CS perspective.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
dev-perl/* isnt any better
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Want to feel pain? Have a Gentoo box where you only install security updates. I can't imagine that this was a use case that was considered.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.