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 : Mon Jan 17 2000 - 17:59:00 MET