rustio rustio.net

Decision Workspace

assura-smt

Side-by-side comparison of Rust crates

49
assura-smt
experimentalv0.3.0

SMT-based verification for Assura contracts via Z3

Core Metrics

assura-smt
Health Score49
Total Downloads1.1K
30d Downloads1.1K
Dependents7
Releases3
Last Updated6d ago
Age10d

Health Breakdown

assura-smt
Maintenance
14
Quality
13
Community
8
Popularity
4
Documentation
10

Technical Details

assura-smt
Version0.3.0
Stable (≥1.0)✗ No
LicenseMIT OR Apache-2.0
Dependencies12
Crate Size376KB
Features3
Yanked %0.0%
Edition2024
MSRV—
Owners1

Links

assura-smt detail →GitHub ↗crates.io ↗

Quick Verdict

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