Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
RE: Use of BDDs in OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Don Syme <dsyme@m...>
Subject: RE: Use of BDDs in OCaml

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?


> -----Original Message-----
> From: []
> Sent: 17 January 2000 12:58
> To:
> 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 :
> 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
> -- 
> -- PhD student -- PARIS research team
>       Personal:	
>   Professional: