bes
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 | BSD3 |
| Homepage | https://forge.ocamlcore.org/projects/bes/ |
| Maintainer | markus.weissmann@in.tum.de (after 0.9.3) |
Events
Apr 30, 2013
Published version 0.9.4.2
- Alexander Ostrovsky gained authorship.
- Markus Weissmann gained authorship.
- Now licensed under BSD3.
- markus.weissmann@in.tum.de assumed maintainership from florian.pichlmeier@mytum.de.
- https://forge.ocamlcore.org/projects/bes/ added as homepage.
Oct 24, 2012
Published version 0.9.3