bex (cargo): A rust library for working with boolean expressions (syntax trees, decision diagrams, algebraic normal form, etc.)
Keywords: diagram|bdd|anf|boolean-expression|decision-diagrams|rust-crate