On Tue, May 02, 2006 at 07:14:21PM +0300, George Danchev wrote: > On Tuesday 02 May 2006 13:42, Sven Luther wrote:
> > BTW, you do work on the EDOS project on dependency graphs and stuff like > > that, right ? Do you have some insight on how this could be handled better > > than it is done now ? > > I believe that it is Berke Durak and/or probably some other ocaml hackers > behind the scene [1]. I'm not sure if they are related to any project at > INRIA, but these guys are doing some really cool stuff. For the moment, the EDOS project has been concentrating on tools to ensure the global consistency, rather than tools for finding upgrade paths on a client machine. One of the immediate results of this is the debcheck program (ITP pending). The technology is there, debcheck has shown that a complete and very fast constraint solver is possible. It certainly is possible to use this technology to build a tool to find an upgrade path onther client side (a replacement of apt). The results of WP2 (this is the EDOS task on dependency managment) so far can be found in the two deliverables: http://www.edos-project.org/xwiki/bin/download/Main/Deliverables/edos-wp2d1.pdf http://www.edos-project.org/xwiki/bin/download/Main/Deliverables/edos-wp2d2.pdf -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
