{"library":"biodivine-lib-bdd","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":[]}]}