A small library for BDD manipulation in Rust. Part of the BioDivine toolset.
Primary LanguageRustMIT LicenseMIT