taco-bdd
v0.1.0 ExperimentalA Binary Decision Diagram (BDD) crate that provides a unified interface for the CUDD and OxiDD BDD libraries. This crate is part of the TACO toolsuite.
Quick Verdict
- ✓Actively maintained (updated 44d ago)
- !Pre-1.0: API may have breaking changes
- !75% of releases were yanked
Security
Deep Insights
109 downloads in the last 30 days (4/day), up 8% from the previous period.
At 20KB, taco-bdd is lightweight. Small crate size correlates with focused, well-scoped functionality.
75% of releases have been yanked. Check version history before pinning.
Notable dependents include taco-model-checker, taco-zcs-model-checker, taco-cli. When high-quality crates choose taco-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 taco-bdd
Version Adoption
Release Timeline
Feature Flags
default =["oxidd"]
