biodivine-lib-bdd is used at run time in 8 crates.

Number of dependers biodivine-lib-bdd version Downloads/month
5 0.5.22 650
3 0.4.2 6
Depender (with downloads and own rev deps) biodivine-lib-bdd version
1.5K liberty-db ^0.5.22
550 2 biodivine-lib-param-bn >=0.5.13, <1.0.0
310 biodivine-hctl-model-checker >=0.5.22, <1.0.0
130 hoars ^0.5
1 adf_bdd ^0.4.2
telo ^0.4
biodivine-pbn-control >=0.5.7