This crate provides data structures and API to define and manipulate Boolean rules as expression trees or lists of (prime) implicants.
Python bindings using Pyo3 are available with the pyo3 feature (disabled by default).
Build and install for testing with maturin develop --cargo-extra-args="--features pyo3".