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
BDDs in ocaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Jean-Christophe_Filliātre <Jean-Christophe.Filliatre@l...>
Subject: Re: [Caml-list] BDDs in ocaml
Pietro Abate a écrit :
> On Thu, Mar 13, 2008 at 08:34:46AM -0400, sasha mal wrote:
>> I wonder whether anyone has a BDD (binary decision diagram)
>> implementation in ocaml. 
> have a look at this paper for a non-optimized bdd implementation from
> Jean-Christophe Filliatre.
> I don't know if the full source code is avalaible.  

I wrote the code by that time, but I was too lazy to package it.
Here it is:

Hope this helps,