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

Number of dependers biodivine-lib-bdd version Downloads/month
5 0.5.22 500
3 0.4.2 5
Depender (with downloads and own rev deps) biodivine-lib-bdd version
1.7K liberty-db ^0.5.22
300 2 biodivine-lib-param-bn >=0.5.13, <1.0.0
270 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