Browse thread
BDD in O'Caml?
- Ching-Tsun Chou
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ 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 ========================================================================