biodivine-lib-param-bn is used at run time in 2 crates.
Depender | biodivine-lib-param-bn version | |||
---|---|---|---|---|
biodivine-hctl-model-checker | >=0.5.1, <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 | biodivine-lib-param-bn version | |||
---|---|---|---|---|
biodivine-hctl-model-checker | >=0.5.1, <1.0.0 | |||
biodivine-pbn-control | >=0.5.1, <1.0.0 |