Archives of the Caml mailing list > Message from David Mentre

Browse thread

Re: [Caml-list] Why People Aren't Using OCAML? (was Haskell)

Arturo Borquez
- Vijay Chakravarthy
  - Brian Rogoff
    - Vijay Chakravarthy
    - Dennis Gang Chen
      - Brian Rogoff
        
        Christophe Raffalli
        
        Xavier Leroy
        
        David Mentre
        
        Brian Rogoff
        
        David Mentre
    - FabienFleutot
      - David Mentre
      - Xavier Leroy
        
        Daniel de Rauglaudre
        
        Xavier Urbain
        
        Jean-Francois Monin
        
        Brian Rogoff
    - John Max Skaller
      - Brian Rogoff
        
        guttman@m...
      - William Chesters
  - Chris Hecker
    - Joseph R. Kiniry
    - wester@i...
      - John Max Skaller

Date:	-- (:)
From:	David Mentre <David.Mentre@i...>
Subject:	BDD and Ocaml (was: Re: [Caml-list] Why People Aren't Using OCAML?)

Brian Rogoff <bpr@best.com> writes:

> I'm surprised that no one has made a publically available binding to
> Cudd or some other C library.

While not put yet on a web site, Thomas Colcombet and myself have made a
binding for CMU bddlib. If you want (or anybody else) this code, please
just ask us.

Maybe should we put it on a web site. Thomas?

BTW, what is this Cudd library? Is it available under GPL or BSD like
license?

There is also a bdd module in caml-light (found in the Hump):
 ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/robdd.tar.gz

Best regards,
d.
-- 
 David.Mentre@inria.fr -- http://www.irisa.fr/prive/dmentre/
 Opinions expressed here are only mine.
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr