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 RAA08481 for caml-redistribution; Mon, 17 Jan 2000 17:54:34 +0100 (MET) 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 NAA16322 for ; Mon, 17 Jan 2000 13:58:20 +0100 (MET) Received: from parasite.irisa.fr (parasite.irisa.fr [131.254.12.47]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id NAA07270 for ; Mon, 17 Jan 2000 13:58:18 +0100 (MET) Received: from parate.irisa.fr (parate.irisa.fr [131.254.12.25]) by parasite.irisa.fr (8.9.3/8.9.3) with ESMTP id NAA15673 for ; Mon, 17 Jan 2000 13:58:19 +0100 (MET) Sender: weis To: caml-list@inria.fr Subject: Use of BDDs in OCaml From: David.Mentre@irisa.fr (David =?iso-8859-1?q?Mentré?=) Date: 17 Jan 2000 13:58:18 +0100 Message-ID: User-Agent: Gnus/5.070098 (Pterodactyl Gnus v0.98) Emacs/20.4 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Hi all dear Camlists, I would like to use BDD in a program of mine. So I'm looking for a BDD library that could be used in OCaml. Looking at mailing-list archive, I've found one implemented in 8,5 at LRI : ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/robdd.tar.gz I could also use a C BDD library (CMU's one for example) in access it from my OCaml program. Am I the first to do such a think? Is there another OCaml BDD library that I would have missed? Best regards, david -- David.Mentre@irisa.fr -- PhD student -- PARIS research team Personal: http://www.irisa.fr/prive/dmentre/ Professional: http://www.irisa.fr/paris/pages-perso/David-Mentre/anglais/