From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id JAA24507 for caml-redistribution@pauillac.inria.fr; Tue, 25 Jan 2000 09:41:17 +0100 (MET) Resent-Message-Id: <200001250841.JAA24507@pauillac.inria.fr> 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 WAA19365 for ; Mon, 24 Jan 2000 22:20:38 +0100 (MET) Received: from wisbech.cl.cam.ac.uk (mta1.cl.cam.ac.uk [128.232.0.15]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id WAA28237 for ; Mon, 24 Jan 2000 22:20:37 +0100 (MET) Received: from swordfish.cl.cam.ac.uk ([128.232.0.129] ident=kl216) by wisbech.cl.cam.ac.uk with esmtp (Exim 3.092 #1) id 12CquZ-0003Re-00 for caml-list@inria.fr; Mon, 24 Jan 2000 21:20:35 +0000 Received: from kl216 by swordfish.cl.cam.ac.uk with local (Exim 3.01 #1) id 12CquY-0002hl-00 for caml-list@inria.fr; Mon, 24 Jan 2000 21:20:34 +0000 To: caml-list@inria.fr Subject: Re: Use of BDDs in OCaml References: From: Ken Friis Larsen Date: 24 Jan 2000 21:20:34 +0000 In-Reply-To: David.Mentre@irisa.fr's message of 17 Jan 2000 13:58:18 +0100 Message-ID: X-Mailer: Gnus v5.3/Emacs 19.34 Sender: Ken Larsen Resent-From: weis@pauillac.inria.fr Resent-Date: Tue, 25 Jan 2000 09:41:17 +0100 Resent-To: caml-redistribution@pauillac.inria.fr Hi David David> I would like to use BDD in a program of mine. So I'm looking for a BDD David> library that could be used in OCaml. David> I could also use a C BDD library (CMU's one for example) in access it David> from my OCaml program. David> Am I the first to do such a think? Is there another OCaml BDD library David> that I would have missed? I have made binding for Jørn Lind-Nielsen's BDD library BuDDy for use with Moscow ML, but since Moscow ML is based on Caml light it should possible (easy?) to port it to OCaml. I've planned to do this for some time but havn't had time to figure out how a good OCaml port should be done (I've never made OCaml-C bindings and I don't know the OCaml "philosophy" in this area). If somebody (with the time and ability) are interested in making a port I'll be willing to help out. Cheers, --Ken