* BDD in O'Caml?
@ 1997-09-09 19:50 Ching-Tsun Chou
1997-09-10 9:37 ` michel
0 siblings, 1 reply; 2+ messages in thread
From: Ching-Tsun Chou @ 1997-09-09 19:50 UTC (permalink / raw)
To: caml-list
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
========================================================================
^ permalink raw reply [flat|nested] 2+ messages in thread
* Re: BDD in O'Caml?
1997-09-09 19:50 BDD in O'Caml? Ching-Tsun Chou
@ 1997-09-10 9:37 ` michel
0 siblings, 0 replies; 2+ messages in thread
From: michel @ 1997-09-10 9:37 UTC (permalink / raw)
To: Ching-Tsun Chou; +Cc: caml-list
You wrote:
>
>
> Hi,
>
> Has anyone interfaced a BDD package with O'Caml?
>
> I'd appreciate any pointers!
>
> - Ching Tsun
>
I have once developped one for the 81/2 project at LRI. You can find
it at :
ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/robdd.tar.gz
it is written in regular caml-light, but it should only require minor
changes to run with o-caml (I think someone has developped a
translator, look at the INRIA site).
Regards.
---
Olivier MICHEL Email : michel@lami.univ-evry.fr
Universite d'Evry Val d'Essonne http : www.lri.fr/~michel
Laboratoire de Mathematiques et d'Informatique Phone : +33 (0)1.69.47.74.53
Boulevard des coquibus Fax : +33 (0)1.69.47.70.08
91025 Evry Cedex
France
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1997-09-10 10:58 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1997-09-09 19:50 BDD in O'Caml? Ching-Tsun Chou
1997-09-10 9:37 ` michel
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).