From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA13575 for caml-redistribution; Wed, 10 Sep 1997 12:58:36 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA12236 for ; Wed, 10 Sep 1997 11:37:33 +0200 (MET DST) Received: from louis-blanc.univ-evry.fr (louis-blanc.univ-evry.fr [194.199.90.2]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id LAA29946 for ; Wed, 10 Sep 1997 11:37:31 +0200 (MET DST) From: michel@lami.univ-evry.fr Received: (michel@localhost) by piaf.lami.univ-evry.fr (8.8.5/97.01.21/lami); id LAA14974; Wed, 10 Sep 1997 11:37:29 +0200 (MET DST) 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) Cc: caml-list@inria.fr In-Reply-To: <199709091950.MAA01242@zws197.sc.intel.com> from "Ching-Tsun Chou" at Sep 9, 97 12:50:03 pm X-Mailer: ELM [version 2.4 PL25] Content-Type: text Sender: weis 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