English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

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: 2001-03-26 (10:05)
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

There is also a bdd module in caml-light (found in the Hump):

Best regards,
 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