rustio rustio.net

Decision Workspace

smtlib-lowlevel

Side-by-side comparison of Rust crates

44
smtlib-lowlevel
growingv0.3.0

A low-level API for interacting with SMT solvers

Core Metrics

smtlib-lowlevel
Health Score44
Total Downloads16.0K
30d Downloads256
Dependents16
Releases10
Last Updated373d ago
Age3y 2m

Health Breakdown

smtlib-lowlevel
Maintenance
7
Quality
15
Community
4
Popularity
5
Documentation
13

Technical Details

smtlib-lowlevel
Version0.3.0
Stable (≥1.0)✗ No
LicenseMIT/Apache-2.0
Dependencies9
Crate Size32KB
Features4
Yanked %0.0%
Edition2021
MSRV—
Owners1

Links

smtlib-lowlevel detail →GitHub ↗Docs ↗crates.io ↗

Quick Verdict

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