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

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