This crate provides for the manipulation and evaluation of Boolean expressions and Binary Decision Diagrams (BDDs), and the construction of BDDs from Boolean expressions. It also has a very simple Boolean expression simplifier, though this simplifier does not find minterms (i.e., cancel redundant terms), so should not be considered complete. This crate may eventually be expanded with more elaborate simplifiers.
boolean_expression is Copyright (c) 2016 by Chris Fallin <cfallin@c1f.net>
and is released under the MIT license. See LICENSE for details.
Documentation: here
Crates.io: here