merc_ldd 2.0.0

Implements algorithms and I/O for list decision diagrams.
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#![doc = include_str!("../README.md")]
#[forbid(unsafe_code)]
mod format;
mod io_ldd;
mod io_sylvan;
pub mod iterators;
mod operations;
mod storage;
mod test_utility;

pub use format::*;
pub use io_ldd::*;
pub use io_sylvan::*;
pub use operations::*;
pub use storage::*;
pub use test_utility::*;