Decision Workspace
smt-scope vs praborrow-prover vs smtkit
Side-by-side comparison of Rust crates
47
smt-scope
growingv0.1.7
A library for parsing and analysing SMT traces.
55
praborrow-prover
experimentalv1.2.2
SMT-based formal verification for PraBorrow. Interfaces with Z3 theorem prover to mathematically validate Constitution invariants.
47
smtkit
experimentalv0.1.1
Facade crate for SMT constraint IR + SMT-LIB backends
Core Metrics
| smt-scope | praborrow-prover | smtkit | |
|---|---|---|---|
| Health Score | 47 | 55 | 47 |
| Total Downloads | 12.7K | 446 | 62 |
| 30d Downloads | 5.0K | 52 | 17 |
| Dependents | 0 | 33 | 0 |
| Releases | 8 | 20 | 2 |
| Last Updated | 148d ago | 73d ago | 19d ago |
| Age | 1y | 2m | 1m |
Health Breakdown
smt-scope
Maintenance
12
Quality
14
Community
6
Popularity
5
Documentation
10
praborrow-prover
Maintenance
15
Quality
17
Community
10
Popularity
3
Documentation
10
smtkit
Maintenance
13
Quality
16
Community
3
Popularity
2
Documentation
13
Technical Details
| smt-scope | praborrow-prover | smtkit | |
|---|---|---|---|
| Version | 0.1.7 | 1.2.2 | 0.1.1 |
| Stable (≥1.0) | ✗ No | ✓ Yes | ✗ No |
| License | Apache-2.0 | MIT | MIT OR Apache-2.0 |
| Dependencies | 24 | 10 | 5 |
| Crate Size | 161KB | 28KB | 24KB |
| Features | 8 | 3 | 6 |
| Yanked % | 0.0% | 0.0% | 0.0% |
| Edition | 2021 | 2024 | 2021 |
| MSRV | — | — | — |
| Owners | 1 | 1 | 1 |
Links
Quick Verdict
- •praborrow-prover leads with a health score of 55/100, but none of the options score above 80.
- •smt-scope has the most downloads (12.7K), suggesting wider adoption.
- •smt-scope, smtkit are pre-1.0 — API may change.