bes

Authors { Alexander Ostrovsky, Markus Weissmann }
License BSD3
Homepage https://forge.ocamlcore.org/projects/bes/
Maintainer markus.weissmann@in.tum.de
Dependencies
& ocamlbuild
ocamlfind
ospec >= 0.3.0
| extlib
extlib-compat
Published Apr 30, 2013
Source [http] http://forge.ocamlcore.org/frs/download.php/1170/bes-0.9.4.2.tar.gz
5ab46d03b38ea244e2f41705bc27ebe0
Statistics Installed 8 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/bes/bes.0.9.4.2/opam

boolean expression simplifier

This is a pure OCaml library containing several algorithms to simplify boolean expressions (boolean expression simplifier)

No package is dependent