Crate bex

source ·
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.