biodivine-lib-bdd is used at run time in 11 crates. It is a direct run-time dependency in 9 crates.
| Number of dependers | biodivine-lib-bdd version | Downloads/month |
|---|---|---|
| 8 | 0.5.24 | 300 |
| 0 | 0.5.1 | 340 |
| 3 | 0.4.2 | 6 |
| Depender (with downloads and own rev deps) | biodivine-lib-bdd version | |||
|---|---|---|---|---|
| 420 | liberty-db | ^0.5.23 | ||
| 180 | biodivine-hctl-model-checker | >=0.5.22, <1.0.0 | ||
| 140 | 2 | biodivine-lib-param-bn | >=0.5.13, <1.0.0 | |
| biodivine-pbn-control | >=0.5.7 | |||
| 2 | mux_circuits | ^0.5 | ||
| parasol_cpu | ^0.5 | |||
| hoars | ^0.5 | |||
| 1 | adf_bdd | ^0.4.2 | ||
| telo | ^0.4 | |||