bes
boolean expression simplifier
Description
This is a pure OCaml library containing several algorithms to simplify boolean expressions (boolean expression simplifier)
Install
- Authors
-
- Maintainers
-
Sources
Dependencies
Reverse Dependencies