besversion

OCaml library and command line frontend to simplify/minimize boolean expressions

AuthorsAlexander Ostrovsky and Markus Weissmann
LicenseBSD-3-Clause
Published
Homepagehttps://forge.ocamlcore.org/projects/bes/
Maintainerflorian.pichlmeier@mytum.de
Dependencies
Source [http] https://download.ocamlcore.org/bes/bes/0.9.3/bes-0.9.3.tar.gz
sha256=f1ff1807a3754757c5a092c7a3793179b0212e4957ca3a8aa1f1a964b1b45ef1
md5=4c25d97ef216ebc686c84cf56a6fda9a
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bes/bes.0.9.3/opam
No package is dependent