zdd
is a Zero-suppressed binary Decision Diagram library in Rust.
A ZDD library, based on this paper by Shin-Ichi Minato.
For more details see the documentation.
Usage
Add this to your Cargo.toml
:
[]
= "0.1.0"
and this to your crate root:
extern crate zdd ;