rustio rustio.net

Decision Workspace

bitwuzla-sys

Side-by-side comparison of Rust crates

49
bitwuzla-sys
growingv0.8.0

Low-level bindings for the Bitwuzla SMT solver

Core Metrics

bitwuzla-sys
Health Score49
Total Downloads18.5K
30d Downloads861
Dependents63
Releases7
Last Updated275d ago
Age4y 4m

Health Breakdown

bitwuzla-sys
Maintenance
6
Quality
14
Community
9
Popularity
5
Documentation
15

Technical Details

bitwuzla-sys
Version0.8.0
Stable (≥1.0)✗ No
LicenseMIT
Dependencies3
Crate Size1.9MB
Features1
Yanked %0.0%
Edition2021
MSRV1.82
Owners1

Links

bitwuzla-sys detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

  • •bitwuzla-sys leads with a health score of 49/100, but none of the options score above 80.