bes

boolean expression simplifier
Description

This is a pure OCaml library containing several algorithms to simplify boolean expressions (boolean expression simplifier)

Install
Published
21 Nov 2013
Sources
bes-0.9.4.2.tar.gz
md5=5ab46d03b38ea244e2f41705bc27ebe0
Dependencies
Reverse Dependencies