Version française
Home     About     Download     Resources     Contact us    
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: Olivier Michel <michel@i...>
Subject: Re: [Caml-list] BDDs in ocaml
On Thu, Mar 13, 2008 at 02:14:43PM +0100, Berke Durak wrote:
> 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.
> >
> >
> 
> Hello,
> 
> There is one small BDD module written by Xavier Leroy for an experimental 
> SAT-solver
> during the EDOS project:
> 
> https://gforge.inria.fr/plugins/scmsvn/viewcvs.php/xlsat/?root=sodiac
> 
> 

Hello,

I once wrote in the 90s a (RO)BDD implementation in caml-light (the
translation to Ocaml should not be a big deal though) for the
development of the declarative data-parallel language 8,5. The sources
(unfortunately with comments in French, but they are pretty much
straightforward!) are available here:

	http://www.ibisc.univ-evry.fr/~michel/BDD/

Regards,
Olivier MICHEL.

-- 
Olivier MICHEL                       Email : michel@ibisc.univ-evry.fr
Universite d'Evry Val d'Essonne      http  : www.ibisc.univ-evry.fr/~michel
Lab. IBISC - LIS project             http  : mgs.ibisc.univ-evry.fr
FRE 3190 of CNRS and Genopole        Phone : +33 (0)1.60.87.39.10
523, place des terrasses de l'agora  Fax   : +33 (0)1.60.87.37.89
91000 Evry - FRANCE