Version française
Home     About     Download     Resources     Contact us    
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 :

  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/