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
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: David.Mentre@i...
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 :,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,
-- -- PhD student -- PARIS research team