From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA15193; Sun, 1 Apr 2001 23:03:54 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA14893 for caml-list@pauillac.inria.fr; Sun, 1 Apr 2001 23:03:53 +0200 (MET DST) 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 QAA02709 for ; Fri, 30 Mar 2001 16:38:06 +0200 (MET DST) Received: from pochi.inria.fr (pochi.inria.fr [128.93.8.128]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f2UEbu920173; Fri, 30 Mar 2001 16:37:56 +0200 (MET DST) Received: (from mentre@localhost) by pochi.inria.fr (8.11.1/8.10.0) id f2UEbuD16789; Fri, 30 Mar 2001 16:37:56 +0200 X-Authentication-Warning: pochi.inria.fr: mentre set sender to David.Mentre@inria.fr using -f To: Brian Rogoff Cc: Dennis Gang Chen , caml-list@inria.fr, Thomas.Colcombet@irisa.fr Subject: [Caml-list] OCaml binding to cmuBDD References: From: David Mentre Date: 30 Mar 2001 16:37:56 +0200 In-Reply-To: Brian Rogoff's message of "Mon, 26 Mar 2001 07:44:59 -0800 (PST)" Message-ID: User-Agent: Gnus/5.0807 (Gnus v5.8.7) Emacs/20.4 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Brian Rogoff writes: > Yes, sure I'd like your binding, and please make it web available. I intended to write a documentation but I had no time. So I've just put all the sources in a tar file (under GPL license). It is available at: http://www-rocq.inria.fr/~mentre/software/ocaml-bdd/ WARNING: there is no doc, no README, no information. Only the raw binding. However it is very simple code and should work very easily. There is however a very short doc at the beginning of bdd_interface.c. This code should be rock solid (I've used it heavily). If you have problem using it, just ask me (or Thomas.Colcombet@irisa.fr). Best regards, d. -- David.Mentre@inria.fr -- http://www.irisa.fr/prive/dmentre/ Opinions expressed here are only mine. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr