biodivine-lib-param-bn is used at run time in 2 crates.

Depender (with downloads and own rev deps) biodivine-lib-param-bn version
440 biodivine-hctl-model-checker >=0.5.13, <1.0.0
biodivine-pbn-control >=0.5.1, <1.0.0