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: 2008-03-13 (13:15)
From: Berke Durak <berke.durak@e...>
Subject: Re: [Caml-list] BDDs in ocaml
sasha mal a écrit :
> Dear all,
> I wonder whether anyone has a BDD (binary decision diagram) implementation in ocaml. Ocaml interfaces to external BDD implementations in other languages (like Cudd) are of no use to me.


There is one small BDD module written by Xavier Leroy for an experimental SAT-solver
during the EDOS project: