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