besversion
OCaml library and command line frontend to simplify/minimize boolean expressions
| Authors | Alexander Ostrovsky and Markus Weissmann |
|---|---|
| License | BSD-3-Clause |
| Published | |
| Homepage | https://forge.ocamlcore.org/projects/bes/ |
| Maintainer | florian.pichlmeier@mytum.de |
| Dependencies |
|
| Source [http] | https://download.ocamlcore.org/bes/bes/0.9.3/bes-0.9.3.tar.gz md5=4c25d97ef216ebc686c84cf56a6fda9a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bes/bes.0.9.3/opam |
No package is dependent
