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 RAA26859; Mon, 26 Mar 2001 17:45:04 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 RAA26855 for ; Mon, 26 Mar 2001 17:45:03 +0200 (MET DST) Received: from shell5.ba.best.com (shell5.ba.best.com [206.184.139.136]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f2QFj1r08788; Mon, 26 Mar 2001 17:45:01 +0200 (MET DST) Received: from localhost (bpr@localhost) by shell5.ba.best.com (8.9.3/8.9.2/best.sh) with ESMTP id HAA14227; Mon, 26 Mar 2001 07:44:59 -0800 (PST) Date: Mon, 26 Mar 2001 07:44:59 -0800 (PST) From: Brian Rogoff To: David Mentre cc: Dennis Gang Chen , caml-list@inria.fr, Thomas.Colcombet@irisa.fr Subject: Re: BDD and Ocaml (was: Re: [Caml-list] Why People Aren't Using OCAML?) In-Reply-To: Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Hi David, Cudd or CUDD I think stands for the "Colorado University Decision Diagram" package. It supports BDDs (or ROBDDs if you want to be that way) ADDs, and zero suppressed BDDs. It was written by Fabio Somenzi at Colorado U. You can find it here http://vlsi.Colorado.EDU/~fabio/ Yes, sure I'd like your binding, and please make it web available. Here's a snippet from the cudd.h file concerning copyright Copyright [This file was created at the University of Colorado at Boulder. The University of Colorado at Boulder makes no warranty about the suitability of this software for any purpose. It is presented on an AS IS basis.] I'm not a lawyer, and I don't play one on the Internet, so perhaps a mail to Dr. Somenzi for clarification is in order. (PS: please don't reply to the list guessing what this copyright means if you are not a lawyer familiar with this aspect of US and international law :-|) -- Brian On 26 Mar 2001, David Mentre wrote: > Brian Rogoff writes: > > > I'm surprised that no one has made a publically available binding to > > Cudd or some other C library. > > While not put yet on a web site, Thomas Colcombet and myself have made a > binding for CMU bddlib. If you want (or anybody else) this code, please > just ask us. > > Maybe should we put it on a web site. Thomas? > > BTW, what is this Cudd library? Is it available under GPL or BSD like > license? > > There is also a bdd module in caml-light (found in the Hump): > ftp://ftp.lri.fr/LRI/soft/archi/Softwares/8,5/robdd.tar.gz > > > 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 > ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr