BDD in O'Caml?

From: Ching-Tsun Chou (ctchou@mipos2.intel.com)
Date: Tue Sep 09 1997 - 21:50:03 MET DST


Date: Tue, 9 Sep 1997 12:50:03 -0700 (PDT)
Message-Id: <199709091950.MAA01242@zws197.sc.intel.com>
From: Ching-Tsun Chou <ctchou@mipos2.intel.com>
To: caml-list@inria.fr
Subject: BDD in O'Caml?

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



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