# `zdd`

[![Build Status](https://travis-ci.org/AdrienChampion/zdd.svg?branch=master)](https://travis-ci.org/AdrienChampion/zdd) [![Latest Version](https://img.shields.io/crates/v/zdd.svg)](https://crates.io/crates/zdd)

`zdd` is a Zero-suppressed binary Decision Diagram library in Rust. It is based on [Zero-suppressed
BDDs and their applications][zdd paper] by Shin-Ichi Minato.

For details see [the documentation][doc].

# Warning

I wrote this crate a very long time ago, when I was a Rust newbie. There seems to be little interest
in this library, so I only barely maintain it. If you are serious about using it, consider letting
me know to see if I or someone else can improve or rewrite it.

[zdd paper]: http://link.springer.com/article/10.1007%2Fs100090100038
(Zero-suppressed BDDs and their applications)
[doc]: https://docs.rs/zdd (zdd documentation)