besversion
boolean expression simplifier
This is a pure OCaml library containing several algorithms to simplify boolean expressions (boolean expression simplifier)
| Authors | Alexander Ostrovsky and Markus Weissmann |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://forge.ocamlcore.org/projects/bes/ |
| Maintainer | markus.weissmann@in.tum.de |
| Dependencies |
|
| Source [http] | https://download.ocamlcore.org/bes/bes/0.9.4.2/bes-0.9.4.2.tar.gz sha256=07df2143b83d6ce2d4ac4a6ef5e46418c4f7d1b3b706744ae7d3eedb16df60e3 md5=5ab46d03b38ea244e2f41705bc27ebe0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bes/bes.0.9.4.2/opam |
No package is dependent
