A rust crate for working with large boolean expressions as ASTs, binary decision diagrams, or algebraic normal form.
