zdd 0.1.0

A Zero-suppressed BDD library.
Documentation

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:

[dependencies]
zdd = "0.1.0"

and this to your crate root:

extern crate zdd ;