rustio rustio.net

Decision Workspace

rsmt2

Side-by-side comparison of Rust crates

47
rsmt2
growingv0.16.2

Wrapper for SMT-LIB 2 compliant SMT solvers.

Core Metrics

rsmt2
Health Score47
Total Downloads66.7K
30d Downloads1.6K
Dependents11
Releases29
Last Updated1351d ago
Age9y 8m

Health Breakdown

rsmt2
Maintenance
4
Quality
17
Community
8
Popularity
6
Documentation
12

Technical Details

rsmt2
Version0.16.2
Stable (≥1.0)✗ No
LicenseMIT/Apache-2.0
Dependencies2
Crate Size64KB
Features2
Yanked %0.0%
Edition2018
MSRV—
Owners1

Links

rsmt2 detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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