From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q3IMQqD9014540 for ; Thu, 19 Apr 2012 00:26:52 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApQCAGk/j0+DnwAImWdsb2JhbABEgxyuJSIBAQEBAQgLCxsnhEcuh3QEB5k2oU+PUmMElwCEYo0w X-IronPort-AV: E=Sophos;i="4.75,443,1330902000"; d="scan'208";a="154637443" Received: from mail-out1.informatik.tu-muenchen.de ([131.159.0.8]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 19 Apr 2012 00:26:22 +0200 Received: from [172.16.1.4] (178-27-27-49-dynip.superkabel.de [178.27.27.49]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by mail.in.tum.de (Postfix) with ESMTPSA id 10D532404C1 for ; Thu, 19 Apr 2012 00:26:22 +0200 (CEST) From: =?iso-8859-1?Q?=22Markus_W=2E_Wei=DFmann=22?= Content-Type: text/plain; charset=iso-8859-1 Date: Thu, 19 Apr 2012 00:26:21 +0200 Message-Id: <063785FB-EC33-4350-BCDA-FB450D87FEAD@in.tum.de> To: Caml Mailing List Mime-Version: 1.0 (Apple Message framework v1257) X-Mailer: Apple Mail (2.1257) Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q3IMQqD9014540 Subject: [Caml-list] [ANN] Boolean expression simplifier library 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 -- Markus Weißmann, M.Sc. Technische Universität München Institut für Informatik Boltzmannstr. 3 D-85748 Garching Germany http://wwwknoll.in.tum.de/