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
-- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
