RE: Use of BDDs in OCaml

[Don Syme <dsyme@microsoft.com>]

I did one a while ago, but never polished it up.  It was based on the CuDD
package.  It may be useful as a starting point.

Perhaps BDDs should come as part of the standard distribution, as they do
with Mercury.  OCaml could then easily become a standard platform for
implementing hardware verification tools.  Does any one else have experience
as to which would be the best C package to lift to the OCaml level, or if
the performance gained by using C is worth it or not?

Cheers,
Don

> -----Original Message-----
> From: David.Mentre@irisa.fr [mailto:David.Mentre@irisa.fr]
> Sent: 17 January 2000 12:58
> To: caml-list@inria.fr
> Subject: Use of BDDs in OCaml
> 
> 
> Hi all dear Camlists,
> 
> I would like to use BDD in a program of mine. So I'm looking for a BDD
> library that could be used in OCaml. 
> 
> Looking at mailing-list archive, I've found one implemented in 8,5 at
> LRI :
> 
>   ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/robdd.tar.gz
> 
> I could also use a C BDD library (CMU's one for example) in access it
> from my OCaml program.
> 
> Am I the first to do such a think? Is there another OCaml BDD library
> that I would have missed?
> 
> Best regards,
> david
> -- 
>  David.Mentre@irisa.fr -- PhD student -- PARIS research team
>       Personal: http://www.irisa.fr/prive/dmentre/	
>   Professional: 
> http://www.irisa.fr/paris/pages-perso/David-Mentre/anglais/
>