besversion

boolean expression simplifier

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

AuthorsAlexander Ostrovsky and Markus Weissmann
LicenseBSD3
Published
Homepagehttps://forge.ocamlcore.org/projects/bes/
Maintainermarkus.weissmann@in.tum.de
Dependencies
Source [http] https://forge-static.ocamlcore.org/frs/download.php/1170/bes-0.9.4.2.tar.gz
md5=5ab46d03b38ea244e2f41705bc27ebe0
StatisticsInstalled 11 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bes/bes.0.9.4.2/opam
No package is dependent