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: [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
         bdd_interface.c.

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

If you have problem using it, just ask me (or
Thomas.Colcombet@irisa.fr). 

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