Version française
Home     About     Download     Resources     Contact us    
Browse thread
BDD in O'Caml?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Ching-Tsun Chou <ctchou@m...>
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             
========================================================================