Re: Binary Decision Diagram in CAML (fwd)

From: Olivier Michel (Olivier.Michel@lri.fr)
Date: Tue Feb 18 1997 - 15:07:56 MET

Next message: David Monniaux: "Re: compilation"
Previous message: Jean-Christophe Filliatre: "camltk browser for ocaml sources"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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)

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

Next message: David Monniaux: "Re: compilation"
Previous message: Jean-Christophe Filliatre: "camltk browser for ocaml sources"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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