lumindd

v1.0.0 Experimental

A pure Rust decision diagram library — BDD, ADD, and ZDD manipulation with complemented edges, dynamic reordering, and operation caching

BSD-3-Clause Edition 2021 MSRV 1.70

Algorithms Data structures Science #bdd#zdd#add#formal-verification#decision-diagram

GitHub ↗ crates.io ↗ Compare with…

Quick Verdict

✓Actively maintained (updated 3d ago)
✓Tiny footprint (222KB, 1 deps)

Security

Checking security advisories...

Downloads

Dependents

Releases

Size

222KB

Deep Insights

📊

Download activity

11 downloads in the last 30 days (0/day avg).

🪶

Minimal dependencies

Only 1 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

Health Breakdown

Maintenance 13/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 1/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days

0/day avg

Version Adoption

v1.0.0

100%

Release Timeline

1 releasessince 2026

2026

Less

README

Loading README...

Maintainers

Hasan Kurşun

Dependencies

direct dependencies