Reduced ordered binary decision diagram library for JS
Computation tree logic library for JS
Mathematical analysis of Boolean functions
Fast implementation of the boolean Algebraic Normal Form (ANF) transform
A package to compute the algebrac immunity and the restricted algebraic immunity of Boolean functions.
Boolean function analysis library: entanglement, entropy, sensitivity, spectral analysis, frontier, and circuit complexity
Bottom-up Sentential Decision Diagram compiler library.
Evolve populations of boolean networks to approximate bitstring functions and their (unknown) inverses.
A crate which defines and implements a complete set of `Option`/`Result`-style Boolean functional combinators on Rust's `bool` primitive type.
Boolean function minimizer based on Quine–McCluskey algorithm.
Stack-based virtual machine on top of rust_multistack crate
A lean library for Möbius transformations on the complex plane
Fhirpath implementation in Rust
Rust bindings for the Espresso heuristic logic minimizer (UC Berkeley)
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.