RE: Use of BDDs in OCaml

RE: Use of BDDs in OCaml

[Don Syme]

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/
> 

Re: Use of BDDs in OCaml

[Ken Friis Larsen]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 862 bytes --]

Hi David

 David>  I would like to use BDD in a program of mine. So I'm looking for a BDD
 David>  library that could be used in OCaml. 
 David>  I could also use a C BDD library (CMU's one for example) in access it
 David>  from my OCaml program.
 David>  Am I the first to do such a think? Is there another OCaml BDD library
 David>  that I would have missed?

I have made binding for Jørn Lind-Nielsen's BDD library BuDDy for use
with Moscow ML, but since Moscow ML is based on Caml light it should
possible (easy?) to port it to OCaml.  I've planned to do this for
some time but havn't had time to figure out how a good OCaml port
should be done (I've never made OCaml-C bindings and I don't know the
OCaml "philosophy" in this area).  

If somebody (with the time and ability) are interested in making a
port I'll be willing to help out.


Cheers,

--Ken

Use of BDDs in OCaml

[David Mentré]

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/