Re: [UPLOADED] RFC: The Future of Solving Dependency Problems in APT (SAT, CUDF)
On Di, 2010-12-28 at 14:14 +0100, Julian Andres Klode wrote:
> On Do, 2010-12-23 at 18:50 +0100, Julian Andres Klode wrote:
> > I pushed the branch to bzr+ssh://bzr.debian.org/bzr/apt/apt/solver/, and
> > uploaded 0.8.10+expnewsolvers1 to experimental.
> I am using this version on my main system, and that's helpful in
> measuring the quality of standard tasks[...]. I pushed a fix into
> bzr that makes partial upgrades possible, by keeping back impossible changes.
Uploaded 0.8.10+expnewsolvers2.
> Partially working:
> * apt-get install
> * Bug: Too Conservative. Installing mysql-server with
> -texperimental will choose the mysql-server-5.1 from
> unstable if libmysqlclient is already installed, because
> this requires no upgrade of the installed package.
Fixed. The solution is to NOT mark the literals representing
automatically installed packages as important; and to mark literals
representing non-installed non-candidate versions as important, instead
of marking candidates as less important.
> * apt-get dist-upgrade
> * Might remove every package instead of ignoring an
> update. At least if you do apt-get dist-upgrade -t
> experimental. We might need to keep() (manually)
> installed packages first, and remove the keep() if the
> user asks for it, instead of allowing the solver to do
> what it wants with installed packages.
The produced solution is better than the one pkgProblemResolver creates,
so it's not that bad.
--
Julian Andres Klode - Debian Developer, Ubuntu Member
See http://wiki.debian.org/JulianAndresKlode and http://jak-linux.org/.
Reply to: