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=AWL 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 329D3BBC1 for ; Fri, 14 Mar 2008 08:44:40 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AisBAJ/J2UfUGyodkGdsb2JhbACQfAEBAQEHBAYHChiYFA X-IronPort-AV: E=Sophos;i="4.25,499,1199660400"; d="scan'208";a="10257995" Received: from smtp3-g19.free.fr ([212.27.42.29]) by mail3-smtp-sop.national.inria.fr with ESMTP; 14 Mar 2008 08:44:39 +0100 Received: from smtp3-g19.free.fr (localhost.localdomain [127.0.0.1]) by smtp3-g19.free.fr (Postfix) with ESMTP id E573717B574; Fri, 14 Mar 2008 08:44:38 +0100 (CET) Received: from [192.168.0.3] (rke75-3-82-229-183-156.fbx.proxad.net [82.229.183.156]) by smtp3-g19.free.fr (Postfix) with ESMTP id BAA1817B530; Fri, 14 Mar 2008 08:44:38 +0100 (CET) Message-ID: <47DA2B81.8000400@frisch.fr> Date: Fri, 14 Mar 2008 08:38:41 +0100 From: Alain Frisch User-Agent: Thunderbird 2.0.0.12 (Windows/20080213) MIME-Version: 1.0 To: sasha.mal@excite.com Cc: caml-list@yquem.inria.fr Subject: Re: [Caml-list] BDDs in ocaml References: <20080313123446.2F25C8B312@xprdmxin.myway.com> In-Reply-To: <20080313123446.2F25C8B312@xprdmxin.myway.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; frisch:01 frisch:01 bdds:01 ocaml:01 ocaml:01 bdds:01 implements:01 wrote:01 caml-list:01 alain:01 alain:01 interfaces:01 binary:02 variables:02 external:03 sasha mal wrote: > 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. I've seen many implementation of BDDs in OCaml, but none of them implements automatic reordering of variables (which is by far the most complex part of serious BDD packages). For some applications, this is really a must. Why is it impossible for you to use to an external BDD implementation? -- Alain