Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: [Caml-list] Why People Aren't Using OCAML? (was Haskell)
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: David Mentre <David.Mentre@i...>
Subject: BDD and Ocaml (was: Re: [Caml-list] Why People Aren't Using OCAML?)
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