[m-dev.] for review: add ROBDD interface to Mercury

[Peter Schachte]

This looks good to me.

Regarding license, I'm happy with either GPL or LGPL.  I'd guess LGPL would
be better for this, but I'll let you decide.


-- 
Peter Schachte <schachte at cs.mu.OZ.AU>  I love deadlines. I like the
http://www.cs.mu.oz.au/~schachte/      whooshing sound they make as they fly
Phone:  +61 3 8344 9166                by.
Fax:    +61 3 9348 1184                    -- Douglas Adams 
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------