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:

toml [dependencies] zdd = "0.1.0"

and this to your crate root:

rust extern crate zdd ;