biodivine-lib-bdd is used at run time in 7 crates. It is a direct run-time dependency in 6 crates.
Number of dependers | biodivine-lib-bdd version | Downloads/month |
---|---|---|
4 | 0.5.13 | 490 |
3 | 0.4.2 | 27 |
Depender (with downloads and own rev deps) | biodivine-lib-bdd version | |||
---|---|---|---|---|
340 | liberty-db | ^0.5.11 | ||
240 | 2 | biodivine-lib-param-bn | >=0.5.13, <1.0.0 | |
telo | ^0.4 | |||
biodivine-hctl-model-checker | >=0.5.7, <1.0.0 | |||
biodivine-pbn-control | >=0.5.7 | |||
1 | adf_bdd | ^0.4.2 |