Re: BDD and Ocaml (was: Re: [Caml-list] Why People Aren't Using OCAML?)

[Brian Rogoff <bpr@best.com>]

Hi David,
    Cudd or CUDD I think stands for the "Colorado University Decision
Diagram" package. It supports BDDs (or ROBDDs if you want to be that way) 
ADDs, and zero suppressed BDDs. It was written by Fabio Somenzi at
Colorado U. You can find it here

    http://vlsi.Colorado.EDU/~fabio/

    Yes, sure I'd like your binding, and please make it web available. 

    Here's a snippet from the cudd.h file concerning copyright 

  Copyright [This file was created at the University of Colorado at
  Boulder.  The University of Colorado at Boulder makes no warranty
  about the suitability of this software for any purpose.  It is
  presented on an AS IS basis.]

    I'm not a lawyer, and I don't play one on the Internet, so perhaps a 
mail to Dr. Somenzi for clarification is in order. (PS: please don't reply 
to the list guessing what this copyright means if you are not a lawyer 
familiar with this aspect of US and international law :-|)

-- Brian

On 26 Mar 2001, David Mentre wrote:

> Brian Rogoff <bpr@best.com> writes:
> 
> > I'm surprised that no one has made a publically available binding to
> > Cudd or some other C library.
> 
> While not put yet on a web site, Thomas Colcombet and myself have made a
> binding for CMU bddlib. If you want (or anybody else) this code, please
> just ask us.
> 
> Maybe should we put it on a web site. Thomas?
> 
> BTW, what is this Cudd library? Is it available under GPL or BSD like
> license?
> 
> There is also a bdd module in caml-light (found in the Hump):
>  ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/robdd.tar.gz
> 
> 
> Best regards,
> d.
> -- 
>  David.Mentre@inria.fr -- http://www.irisa.fr/prive/dmentre/
>  Opinions expressed here are only mine.
> -------------------
> To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr
> 

-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr