biodivine-lib-param-bn is used at run time in 4 crates.
| Depender (with downloads and own rev deps) | biodivine-lib-param-bn version | |||
|---|---|---|---|---|
| 1 | biodivine-algo-bdd-scc | >=0.7, <1.0.0 | ||
| biodivine-hctl-model-checker | >=0.7.0, <1.0.0 | |||
| biodivine-lib-io-bma | >=0.7.2, <1.0.0 | |||
| biodivine-pbn-control | >=0.5.1, <1.0.0 | |||