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 QAA26065 for caml-redistribution; Tue, 18 Feb 1997 16:06:48 +0100 (MET) 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 PAA24662 for ; Tue, 18 Feb 1997 15:08:19 +0100 (MET) Received: from lri.lri.fr (root@lri.lri.fr [129.175.15.1]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id PAA22670 for ; Tue, 18 Feb 1997 15:08:18 +0100 (MET) Received: from sun7g.lri.fr (michel@sun7g.lri.fr [129.175.7.77]) by lri.lri.fr (8.8.4/jtpda-5.2) with ESMTP id PAA22918 for ; Tue, 18 Feb 1997 15:08:16 +0100 (MET) Received: by sun7g.lri.fr (8.6.12/local) id PAA14915 for caml-list@inria.fr; Tue, 18 Feb 1997 15:07:57 +0100 From: Olivier.Michel@lri.fr (Olivier Michel) Message-Id: <199702181407.PAA14915@sun7g.lri.fr> Subject: Re: Binary Decision Diagram in CAML (fwd) To: caml-list@inria.fr Date: Tue, 18 Feb 1997 15:07:56 +0100 (MET) X-Mailer: ELM [version 2.4 PL22] Content-Type: text Sender: weis You wrote: > > Is there any Binary Decision Diagram package available > in CAML ? > > Franck. > > -- Franck Cassez ---- ---- Departement d'Informatique -- > -- Universite de Bretagne Occidentale 6, Avenue Le Gorgeu -- > ---- BP 809 ---- 29285 Brest Cedex ---- FRANCE ---- > -- tel: (+33) 02 98 01 69 59 -- fax: (+33) 02 98 01 69 56 -- > > > I have written one in caml (not ocaml) to compute clock expressions in the 8 1/2 language. It is included in the distribution of the language available at ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/last.tar.gz The name of the bdd package is bdd.ml[i] Regards. -- Olivier MICHEL Email : michel@lri.fr Laboratoire LRI - Universite Paris Sud : Olivier.Michel@lri.fr Bat. 490 - bureau 11 Fax : +33 01 69 15 65 86 91405 ORSAY CEDEX Phone : +33 01 69 15 42 25 FRANCE