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

Peter Schachte schachte at cs.mu.OZ.AU
Tue Jul 11 17:23:21 AEST 2000

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

More information about the developers mailing list