Expand description
§Rust Library for Boolean Formulas and Entanglement
This library provides a set of tools for working with boolean formulas, including functionalities for manipulating boolean vectors, calculating entanglement measures, and evaluating boolean expressions.
Re-exports§
pub use metrics::certificate;pub use metrics::entanglement;pub use metrics::frontier;pub use metrics::influence;pub use metrics::sensitivity;pub use metrics::spectral;pub use metrics::entanglement::*;
Modules§
- auxiliar
- Auxiliary utilities for boolean function analysis.
- examples
- fmulti
- Multiple boolean function representation and operations.
- fvalue
- Boolean function value representation and operations.
- macros
- metrics
- Metrics submodule containing complexity, spectral analysis, frontier and entanglement tools.