English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
BDD reloaded
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2008-11-25 (17:36)
From: David MENTRE <dmentre@l...>
Subject: Re: [Caml-list] BDD reloaded
Hello Mr. Abate,

Sorry for the late reply[1].

Pietro Abate <Pietro.Abate@pps.jussieu.fr> writes:

> In this thread
> http://caml.inria.fr/pub/ml-archives/caml-list/2001/04/8bbf7629ef3ef299c16f78bd2b986e36.en.html
> David Mentre announces a preliminary work on binding for the cudd
> library, but the link is broken... this link currently is broken:
> http://www-rocq.inria.fr/~mentre/software/ocaml-bdd/ 
> and there is a mention to a caml-light implementation of a robdd library
> that I was also not able to retrieve.

The code was a binding for CMU bdd library
(http://www.cs.cmu.edu/~modelcheck/bdd.html). It was working great at
that time (OCaml 3.00) and is rather simple. I have no idea if it would
still work with recent OCaml (let me know).

I put the archive on the web. Code is under a BSD license.


Code provided as is. I mean... really. ;-)


[1]  And many thanks to Alan for his CWN that keeps us informed! 

GPG/PGP key: A3AD7A2A David MENTRE <dmentre@linux-france.org>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A