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 MAA18502; Mon, 26 Mar 2001 12:05:33 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id MAA18497 for caml-list@pauillac.inria.fr; Mon, 26 Mar 2001 12:05:32 +0200 (MET DST) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id LAA17397 for ; Mon, 26 Mar 2001 11:34:47 +0200 (MET DST) Received: from pochi.inria.fr (pochi.inria.fr [128.93.8.128]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2Q9YeP01797; Mon, 26 Mar 2001 11:34:40 +0200 (MET DST) Received: (from mentre@localhost) by pochi.inria.fr (8.11.1/8.10.0) id f2Q9Yfd04210; Mon, 26 Mar 2001 11:34:41 +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: BDD and Ocaml (was: Re: [Caml-list] Why People Aren't Using OCAML?) References: From: David Mentre Date: 26 Mar 2001 11:34:41 +0200 In-Reply-To: Brian Rogoff's message of "Sun, 25 Mar 2001 19:03:05 -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: > 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