bes 0.9.4.2
| Authors | Alexander Ostrovsky and Markus Weissmann | ||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| License | BSD3 | ||||||||||||||||||||||||||
| Homepage | https://forge.ocamlcore.org/projects/bes/ | ||||||||||||||||||||||||||
| Maintainer | markus.weissmann@in.tum.de | ||||||||||||||||||||||||||
| Dependencies |
|
||||||||||||||||||||||||||
| Published | Apr 30, 2013 | ||||||||||||||||||||||||||
| Source [http] |
https://forge.ocamlcore.org/frs/download.php/1170/bes-0.9.4.2.tar.gz 5ab46d03b38ea244e2f41705bc27ebe0 |
||||||||||||||||||||||||||
| 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 |