biodivine-lib-bdd
v0.6.3 GrowingA simple thread-safe implementation of basic binary decision diagrams.
Quick Verdict
- ✓Actively maintained (updated 41d ago)
- !Pre-1.0: API may have breaking changes
- ✓Trusted by 154 crates
- ✓Permissive license (MIT)
Security
Deep Insights
1.8K downloads in the last 30 days (61/day), up 44% from the previous period.
154 crates depend on biodivine-lib-bdd. Reasonable ecosystem adoption, though not yet a core dependency.
Despite being 6+ years old, biodivine-lib-bdd hasn't reached 1.0 yet. Expect potential API changes between versions.
Notable dependents include liberty-db, biodivine-lib-param-bn, biodivine-hctl-model-checker, biodivine-pbn-control, adf_bdd. When high-quality crates choose biodivine-lib-bdd, it's a strong quality signal.
Health Breakdown
Recency, release consistency, active ratio
Yanked ratio, deps, size, maturity, features
Reverse deps, ownership, ecosystem
Downloads, momentum, growth trend
Docs, repo, license, metadata
Download Trend
Top Dependents
Most downloaded crates that depend on biodivine-lib-bdd
