Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: BDD in O'Caml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: michel@l...
Subject: Re: BDD in O'Caml?
You wrote:
> 
> 
> Hi,
> 
> Has anyone interfaced a BDD package with O'Caml?
> 
> I'd appreciate any pointers!
> 
> - Ching Tsun
> 

I have once developped one for the 81/2 project at LRI. You can find
it at :

ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/robdd.tar.gz

it is written in regular caml-light, but it should only require minor
changes to run with o-caml (I think someone has developped a
translator, look at the INRIA site).

Regards.

---
 Olivier MICHEL                                 Email : michel@lami.univ-evry.fr
 Universite d'Evry Val d'Essonne                http  : www.lri.fr/~michel
 Laboratoire de Mathematiques et d'Informatique Phone : +33 (0)1.69.47.74.53
 Boulevard des coquibus                         Fax   : +33 (0)1.69.47.70.08 
 91025 Evry Cedex
 France