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/
>
This archive was generated by hypermail 2b29 : Wed Jan 19 2000 - 14:47:44 MET