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 LAA11591 for caml-redistribution; Wed, 10 Sep 1997 11:11:46 +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 VAA01943 for ; Tue, 9 Sep 1997 21:50:44 +0200 (MET DST) Received: from crotus.sc.intel.com (root@crotus.sc.intel.com [143.183.152.26]) by nez-perce.inria.fr (8.8.7/8.8.5) with ESMTP id VAA19363 for ; Tue, 9 Sep 1997 21:50:37 +0200 (MET DST) Received: from mipos2.intel.com by crotus.sc.intel.com (8.8.6/10.0i); Tue, 9 Sep 1997 19:50:07 GMT Received: from zws197.sc.intel.com (zws197.sc.intel.com [143.183.45.141]) by mipos2.intel.com (8.8.5/8.8.5) with ESMTP id MAA29153; Tue, 9 Sep 1997 12:50:05 -0700 (PDT) Received: (from ctchou@localhost) by zws197.sc.intel.com (8.8.5/8.8.5) id MAA01242; Tue, 9 Sep 1997 12:50:03 -0700 (PDT) Date: Tue, 9 Sep 1997 12:50:03 -0700 (PDT) Message-Id: <199709091950.MAA01242@zws197.sc.intel.com> From: Ching-Tsun Chou To: caml-list@inria.fr Subject: BDD in O'Caml? Sender: weis Hi, Has anyone interfaced a BDD package with O'Caml? I'd appreciate any pointers! - Ching Tsun ======================================================================== Ching-Tsun Chou E-mail: ctchou@mipos2.intel.com Intel Corporation, RN6-16 Tel: (408) 765-5468 2200 Mission College Blvd. Fax: (408) 765-6688 Santa Clara, CA 95052, U.S.A. Sec: (408) 653-8849 ========================================================================