From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3J0v4hc021377
	for <caml-list@sympa-roc.inria.fr>; Thu, 19 Apr 2012 02:57:05 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AlcCABdij0+GoCGimWdsb2JhbABDgxyuSwEBAQEBCAsLBxQnggkBAQUyAQVAEQsYCRYPCQMCAQIBRRMIAQEXh3QLunWNEIMlBIhajRWBEYRijT0
X-IronPort-AV: E=Sophos;i="4.75,445,1330902000"; 
   d="scan'208";a="140725404"
Received: from postman2.riken.jp (HELO postman.riken.jp) ([134.160.33.162])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 19 Apr 2012 02:56:57 +0200
Received: from postman.riken.jp (postman2.riken.jp [127.0.0.1])
	by postman.riken.jp (Postfix) with SMTP id 07EC41260474
	for <caml-list@inria.fr>; Thu, 19 Apr 2012 09:56:54 +0900 (JST)
Received: from [172.27.98.103] (rikad98.riken.jp [134.160.214.98])
	by postman.riken.jp (Postfix) with ESMTPA id D38351270063
	for <caml-list@inria.fr>; Thu, 19 Apr 2012 09:56:53 +0900 (JST)
Message-ID: <4F8F62D5.3040802@riken.jp>
Date: Thu, 19 Apr 2012 09:56:53 +0900
From: Francois Berenger <berenger@riken.jp>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.28) Gecko/20120313 Thunderbird/3.1.20
MIME-Version: 1.0
To: caml-list@inria.fr
References: <063785FB-EC33-4350-BCDA-FB450D87FEAD@in.tum.de>
In-Reply-To: <063785FB-EC33-4350-BCDA-FB450D87FEAD@in.tum.de>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 8bit
X-PMX-Version: 5.6.0.2009776, Antispam-Engine: 2.7.2.376379, Antispam-Data: 2012.4.18.103616
Subject: Re: [Caml-list] [ANN] Boolean expression simplifier library

Hello,

I'm curious, what is it used for?

Is it for people doing proof checkers or things like this?

Thanks,
F.

On 04/19/2012 07:26 AM, "Markus W. Weißmann" wrote:
> Hi,
>
> I'd like to announce the first public release of the 'boolean expression simplifier' library "bes".
> It is an implementation of several algorithms for minimizing boolean expressions similar to the espresso solver [1] -- though in OCaml.
> The source code is available on ocamlforge under the new bsd license:
>
> http://bes.forge.ocamlcore.org/
>
> It comes with a simple front-end program for reading and simplifying expressions in DFA from text files.
> Students trying to verify their Karnaugh Veitch map solutions rejoice! ;)
>
>
> Regards
>
> -Markus
>
> [1] http://embedded.eecs.berkeley.edu/pubs/downloads/espresso/index.htm
>