rustio rustio.net
37

smt-lang

v0.7.5 Growing

Sat Modulo Theory Language

LGPL-3.0-only Edition 2021
#solver#language#smt#z3

Quick Verdict

  • โœ•Not updated for 3+ years
  • !Pre-1.0: API may have breaking changes

Security

Checking security advisories...
Downloads
23.0K
Dependents
0
Releases
19
Size
44KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

23 downloads in the last 30 days (1/day), up 21% from the previous period.

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 3+ years old, smt-lang hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿ“
Compact crate

At 43KB, smt-lang is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 6/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 3/20

Reverse deps, ownership, ecosystem

Popularity 5/15

Downloads, momentum, growth trend

Documentation 10/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg+6%
0510152012/291/162/32/213/113/28

Version Adoption

v0.7.5
25%
v0.1.2
19%
v0.6.3
19%
v0.2.2
19%
v0.5.1
19%

Release Timeline

19 releasessince 2022
J
F
M
A
M
J
J
A
S
O
N
D
2022
14
2023
5
2024
2025
2026
Less
More

README

Loading README...

Maintainers

Dependencies
9
direct dependencies
Dependents
0
crates depend on smt-lang

Similar Crates