Re: BDD in O'Caml?

From: michel@lami.univ-evry.fr
Date: Wed Sep 10 1997 - 11:37:29 MET DST

Next message: Basile STARYNKEVITCH: "Q: Caml for number crunching and/or scripting?"
Previous message: Ching-Tsun Chou: "BDD in O'Caml?"
In reply to: Ching-Tsun Chou: "BDD in O'Caml?"
Next in thread: Basile STARYNKEVITCH: "Q: Caml for number crunching and/or scripting?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

From: michel@lami.univ-evry.fr
Message-Id: <199709100937.LAA14974@piaf.lami.univ-evry.fr>
Subject: Re: BDD in O'Caml?
To: ctchou@mipos2.intel.com (Ching-Tsun Chou)
Date: Wed, 10 Sep 1997 11:37:29 +0200 (MET DST)
In-Reply-To: <199709091950.MAA01242@zws197.sc.intel.com> from "Ching-Tsun Chou" at Sep 9, 97 12:50:03 pm

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

Next message: Basile STARYNKEVITCH: "Q: Caml for number crunching and/or scripting?"
Previous message: Ching-Tsun Chou: "BDD in O'Caml?"
In reply to: Ching-Tsun Chou: "BDD in O'Caml?"
Next in thread: Basile STARYNKEVITCH: "Q: Caml for number crunching and/or scripting?"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:12 MET