biodivine-lib-param-bn is used at run time in 2 crates.
Depender (with downloads and own rev deps) | biodivine-lib-param-bn version | |||
---|---|---|---|---|
310 | biodivine-hctl-model-checker | >=0.5.13, <1.0.0 | ||
biodivine-pbn-control | >=0.5.1, <1.0.0 |
biodivine-lib-param-bn is used at run time in 2 crates.
Depender (with downloads and own rev deps) | biodivine-lib-param-bn version | |||
---|---|---|---|---|
310 | biodivine-hctl-model-checker | >=0.5.13, <1.0.0 | ||
biodivine-pbn-control | >=0.5.1, <1.0.0 |