Re:The truth about Goobuntu: Google's in-house desktop Ubunt...
by jahewson on Thursday August 30, 2012 @06:53AM
(#4453971)
The SAT solver work is great, for anyone interested check out http://www.mancoosi.org/, there's even an annual competition for solving Linux package upgrade problems.
I have heard that it managed package dependencies (cyclic, broken packages, etc.) much better than aptitude.
I'm an Ubuntu user, so the above is pure speculation - but could someone answer whether the SAT solver causes the slowdown ?