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-04-01 (21:03)
From: David Mentre <David.Mentre@i...>
Subject: [Caml-list] OCaml binding to cmuBDD
Brian Rogoff <bpr@best.com> writes:

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

I intended to write a documentation but I had no time. So I've just put
all the sources in a tar file (under GPL license).

It is available at: http://www-rocq.inria.fr/~mentre/software/ocaml-bdd/

WARNING: there is no doc, no README, no information. Only the raw
         binding. However it is very simple code and should work very
         easily. There is however a very short doc at the beginning of

This code should be rock solid (I've used it heavily).

If you have problem using it, just ask me (or

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