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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 317C9BBC1 for ; Thu, 13 Mar 2008 14:15:15 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq0BACvG2EfAXQImh2dsb2JhbACQcwEBAQgKKZct X-IronPort-AV: E=Sophos;i="4.25,493,1199660400"; d="scan'208";a="9393660" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Mar 2008 14:15:03 +0100 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m2DDF2BE018437 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 13 Mar 2008 14:15:02 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AkYGACvG2EfBL1AZYmdsb2JhbACQaRUEBggIGZct X-IronPort-AV: E=Sophos;i="4.25,493,1199660400"; d="scan'208";a="8347574" Received: from gw.exalead.com (HELO exalead.com) ([193.47.80.25]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Mar 2008 14:14:59 +0100 Received: from [192.168.204.148] (madpc064.exalead.com [192.168.204.148]) (authenticated bits=0) by exalead.com (8.14.0/8.14.0) with ESMTP id m2DDEhN4028418; Thu, 13 Mar 2008 14:14:43 +0100 Message-ID: <47D928C3.2010105@exalead.com> Date: Thu, 13 Mar 2008 14:14:43 +0100 From: Berke Durak User-Agent: Thunderbird 1.5.0.10 (X11/20070221) MIME-Version: 1.0 To: sasha.mal@excite.com Cc: caml-list List 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: 8bit X-Miltered: at discorde with ID 47D928D6.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; berke:01 durak:01 berke:01 durak:01 bdds:01 ocaml:01 ocaml:01 viewcvs:01 edos:98 experimental:01 caml-list:01 interfaces:01 binary:02 external:03 module:03 sasha mal a écrit : > 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. > > Hello, There is one small BDD module written by Xavier Leroy for an experimental SAT-solver during the EDOS project: https://gforge.inria.fr/plugins/scmsvn/viewcvs.php/xlsat/?root=sodiac -- Berke DURAK