Expand description
A crate for working with boolean expressions.
Re-exports
pub use base::*;
Modules
Misc helper routines inspired by the APL family of programming languages.
The core library, and support for boolean expressions as abstract syntax trees.
Binary decision diagrams.
Working with arrays of bit structures as if they were integers.
Input/output support for the other modules.
solve AST-based expressions by converting them to BDDs.