From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id E6664BBC1 for ; Thu, 13 Mar 2008 13:34:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjEBABa82EfPn3g8n2dsb2JhbACBWI8bAQEBAQEGBAYJCBiWbQ X-IronPort-AV: E=Sophos;i="4.25,493,1199660400"; d="scan'208";a="10220316" Received: from nn6.excitenetwork.com (HELO excite.com) ([207.159.120.60]) by mail3-smtp-sop.national.inria.fr with ESMTP; 13 Mar 2008 13:34:48 +0100 Received: by xprdmxin.myway.com (Postfix, from userid 110) id 2F25C8B312; Thu, 13 Mar 2008 08:34:46 -0400 (EDT) To: caml-list@yquem.inria.fr Subject: BDDs in ocaml Received: from [132.230.166.192] by xprdmailfe17.nwk.excite.com via HTTP; Thu, 13 Mar 2008 08:34:46 EST X-AntiAbuse: This header was added to track abuse, please include it with any abuse report X-AntiAbuse: ID = 8a8a82c06e1c8d4366ddc3f449c5aa61 Reply-To: sasha.mal@excite.com From: "sasha mal" MIME-Version: 1.0 X-Sender: sasha.mal@excite.com X-Mailer: PHP Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Message-Id: <20080313123446.2F25C8B312@xprdmxin.myway.com> Date: Thu, 13 Mar 2008 08:34:46 -0400 (EDT) X-Spam: no; 0.00; bdds:01 ocaml:01 ocaml:01 excite:98 excite:98 interfaces:01 binary:02 external:03 languages:03 personalized:88 bdd:13 bdd:13 portal:86 wonder:14 www:84 Dear all, I wonder whether anyone has a BDD (binary decision diagram) implementation in ocaml. Ocaml interfaces to external BDD implementations in other languages (like Cudd) are of no use to me. Thanks a lot and best regards Sasha. _______________________________________________ Join Excite! - http://www.excite.com The most personalized portal on the Web!