GitHub repository: sybila/biodivine-lib-bdd
Primary language: Rust
Created: 2019-10-21T15:42:58Z
Description: A small library for BDD manipulation in Rust. Part of the BioDivine toolset.