rustio rustio.net

Decision Workspace

rustproof-libsmt

Side-by-side comparison of Rust crates

32
rustproof-libsmt
growingv0.1.0

Rust bindings for z3 as utilized by RustProof.

Core Metrics

rustproof-libsmt
Health Score32
Total Downloads3.8K
30d Downloads20
Dependents1
Releases1
Last Updated3496d ago
Age9y 7m

Health Breakdown

rustproof-libsmt
Maintenance
1
Quality
15
Community
4
Popularity
4
Documentation
8

Technical Details

rustproof-libsmt
Version0.1.0
Stable (≥1.0)✗ No
LicenseApache-2.0/MIT
Dependencies2
Crate Size17KB
Features0
Yanked %0.0%
Edition—
MSRV—
Owners1

Links

rustproof-libsmt detail →GitHub ↗crates.io ↗

Quick Verdict

  • •rustproof-libsmt leads with a health score of 32/100, but none of the options score above 80.
  • •⚠ rustproof-libsmt has not been updated in over a year.