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 LAA19439 for caml-redistribution; Tue, 18 Feb 1997 11:20:17 +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 PAA18666 for <caml-list@pauillac.inria.fr>; Tue, 11 Feb 1997 15:15:58 +0100 (MET)
Received: from cassis-gw.univ-brest.fr (cassis-gw.univ-brest.fr [192.70.100.29]) by nez-perce.inria.fr (8.7.6/8.7.3) with ESMTP id PAA11538 for <caml-list@inria.fr>; Tue, 11 Feb 1997 15:15:56 +0100 (MET)
Received: from kelenn-gw.univ-brest.fr (kelenn-gw.univ-brest.fr [193.52.16.26])
          by cassis-gw.univ-brest.fr (8.8.4/jtpda-5.1) with ESMTP id PAA12986
          for <caml-list@inria.fr>; Tue, 11 Feb 1997 15:15:56 +0100 (MET)
Received: from asterix.abers (asterix.univ-brest.fr [193.52.16.41])
          by kelenn-gw.univ-brest.fr (8.7.5/jtpda-5.1) with SMTP id PAA11067
          for <caml-list@inria.fr>; Tue, 11 Feb 1997 15:22:50 +0100 (MET)
Date: Tue, 11 Feb 1997 15:22:50 +0100 (MET)
From: Franck.Cassez@kelenn-gw.univ-brest.fr (Franck Cassez)
Message-Id: <199702111422.PAA11067@kelenn-gw.univ-brest.fr>
To: caml-list@inria.fr
Subject: Binary Decision Diagram in CAML
Sender: weis

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  --