Crate fbool 

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::fragmentation;

pub use metrics::frontier;

pub use metrics::influence;

pub use metrics::sensitivity;

pub use metrics::spectral;

pub use metrics::structure;

pub use metrics::entanglement::*;

pub use metrics::fragmentation::*;

pub use metrics::structure::*;

Modules

auxiliar

Auxiliary utilities for boolean function analysis.

examples

fvalue

Boolean function value representation and operations.

macros

metrics

Metrics submodule containing complexity, spectral analysis, frontier and entanglement tools.

optimal5

Macros

bv