rustio rustio.net
36

adf_bdd

v0.3.1 Growing

Library to solve grounded, complete, and stable ADF-semantics by utilising OBDDs - ordered binary decision diagrams

MIT Edition 2021

Quick Verdict

  • โœ•Not updated for 2+ years
  • !Pre-1.0: API may have breaking changes
  • โœ“Permissive license (MIT)

Security

Checking security advisories...
Downloads
5.5K
Dependents
1
Releases
3
Size
44KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

46 downloads in the last 30 days (2/day), up 92% from the previous period.

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 3+ years old, adf_bdd hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿ“
Compact crate

At 43KB, adf_bdd is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 4/25

Recency, release consistency, active ratio

Quality 16/25

Yanked ratio, deps, size, maturity, features

Community 2/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg+15%
01234512/291/162/32/213/113/28

Top Dependents

Most downloaded crates that depend on adf_bdd

Version Adoption

v0.3.0
37%
v0.3.1
33%
v0.2.4
30%

Release Timeline

3 releasessince 2022
J
F
M
A
M
J
J
A
S
O
N
D
2022
2
2023
1
2024
2025
2026
Less
More

Feature Flags

default =["adhoccounting", "variablelist", "frontend"]

HashSetfrontend*benchmarkimportexportvariablelist*adhoccounting*adhoccountmodels

README

Loading README...

Maintainers

Dependencies
15
direct dependencies
Dependents
1
crates depend on adf_bdd