Announcing decision diagrams

[Duncan Coutts]

On Wed, 2008-04-30 at 14:13 +0200, Josef Svenningsson wrote:
> On Tue, Apr 29, 2008 at 2:44 PM, Duncan Coutts
> <duncan.coutts at worc.ox.ac.uk> wrote:

> >  Actually it didn't get funded as a GSoC project but Maciej Wos is
> >  looking at this problem for his 4th year project. As you say, the design
> >  space is very wide so I would not want to discourage you or anyone from
> >  looking at it.
> >
> Ah, I didn't know it was denied funding. Too bad. Good to hear Maciej
> is still interested in working on it.

Actually it was more that Maciej decided to take an internship instead.

> >  I want to make the resolver a bit more easily replaceable.
> >
> >  [Lot's of useful information snipped]
> 
> Thanks for the info Duncan. I'll be looking into this but don't expect
> super rapid progress. Where do I send patches?

Send them to this list. ("darcs send" will send them here too)

Duncan