This crate provides for the manipulation and evaluation of Boolean expressions and Binary Decision Diagrams (BDDs), the construction of BDDs from Boolean expressions, and the construction of Boolean expressions from BDDs (via a simple cubelist-based minimization algorithm). It also has a very simple identity-based Boolean expression simplifier, though the cubelist-based minimizer is more effective.
boolean_expression is Copyright (c) 2016 by Chris Fallin <[email protected]>
and is released under the MIT license. See LICENSE for details.
Documentation: here
Crates.io: here