{"library":"biodivine-lib-bdd","type":"library","category":null,"description":"A simple thread-safe implementation of basic binary decision diagrams.","language":"rust","status":"active","version":"0.6.3","tags":["bdd","binary-decision-diagrams","logic"],"last_verified":"Wed Jun 17","install":[{"cmd":"# Cargo.toml\n[dependencies]\nbiodivine-lib-bdd = \"0.6.3\"","imports":["use biodivine_lib_bdd::BDD;"]},{"cmd":"cargo add biodivine-lib-bdd","imports":[]}],"homepage":"https://github.com/sybila/biodivine-lib-bdd","github":"https://github.com/sybila/biodivine-lib-bdd","docs":"https://docs.rs/biodivine-lib-bdd/","changelog":null,"pypi":null,"npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":null}