Re: Announcing decision diagrams

On Wed, 2008-04-30 at 14:13 +0200, Josef Svenningsson wrote:

On Tue, Apr 29, 2008 at 2:44 PM, Duncan Coutts 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