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 OAA23653 for caml-redistribution; Wed, 19 Jan 2000 14:39:20 +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 NAA15265 for ; Wed, 19 Jan 2000 13:17:14 +0100 (MET) Received: from mail1.microsoft.com (mail1.microsoft.com [131.107.3.125]) by nez-perce.inria.fr (8.8.7/8.8.7) with SMTP id NAA06488 for ; Wed, 19 Jan 2000 13:17:12 +0100 (MET) Received: from 157.54.9.101 by mail1.microsoft.com (InterScan E-Mail VirusWall NT); Wed, 19 Jan 2000 04:16:39 -0800 (Pacific Standard Time) Received: by INET-IMC-01 with Internet Mail Service (5.5.2650.21) id ; Wed, 19 Jan 2000 04:16:39 -0800 Message-ID: <39ADCF833E74D111A2D700805F1951EF180143C9@RED-MSG-06> From: Don Syme To: "'David.Mentre@irisa.fr'" , caml-list@inria.fr Subject: RE: Use of BDDs in OCaml Date: Wed, 19 Jan 2000 04:16:38 -0800 X-Mailer: Internet Mail Service (5.5.2650.21) Sender: weis I did one a while ago, but never polished it up. It was based on the CuDD package. It may be useful as a starting point. Perhaps BDDs should come as part of the standard distribution, as they do with Mercury. OCaml could then easily become a standard platform for implementing hardware verification tools. Does any one else have experience as to which would be the best C package to lift to the OCaml level, or if the performance gained by using C is worth it or not? Cheers, Don > -----Original Message----- > From: David.Mentre@irisa.fr [mailto:David.Mentre@irisa.fr] > Sent: 17 January 2000 12:58 > To: caml-list@inria.fr > Subject: Use of BDDs in OCaml > > > 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/ >