Boolean Expression Simplifier
The Boolean Expression Simplifier library is an OCaml library providing means to simplify boolean expression.
[ Homepage ]
| Author: | Markus W. Weißmann. |
| Last modification date: | 19-Apr-2012 |
| Version: | 0.9.1.2 |
| Development status: | Beta |
| Kind: | Libraries :: Native OCaml libraries |
| License: | Open Source :: BSD |
| Topic: | Science :: Maths and Logic |
| Homepage: | http://bes.forge.ocamlcore.org/ |