Use of BDDs in OCaml

From: David Mentré (David.Mentre@irisa.fr)
Date: Mon Jan 17 2000 - 13:58:18 MET

  • Next message: Pascal Brisset: "CamlIT for ocaml-2.04 and 2.99"

    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