adf_bdd 0.3.1

Library to solve grounded, complete, and stable ADF-semantics by utilising OBDDs - ordered binary decision diagrams
Documentation
1
2
3
4
//! Collection of all the necessary datatypes of the system.
pub mod adf;
mod bdd;
pub use bdd::*;