Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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: -- (:)
From: David MENTRE <dmentre@l...>
Subject: Re: [Caml-list] BDD reloaded
Hello Mr. Abate,

Sorry for the late reply[1].

Pietro Abate <> writes:

> In this thread
> David Mentre announces a preliminary work on binding for the cudd
> library, but the link is broken... this link currently is broken:
> 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
( 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 <>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A