Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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 <> 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

There is also a bdd module in caml-light (found in the Hump):,5/robdd.tar.gz

Best regards,
-- --
 Opinions expressed here are only mine.
To unsubscribe, mail  Archives: