rustio rustio.net
39

smt2patch

v0.1.1 Growing

Library and binary tool to patch SMT2 files

MIT OR Apache-2.0 Edition 2018
Science #solver#smt#smt-lib

Quick Verdict

  • โœ•Not updated for 4+ years
  • !Pre-1.0: API may have breaking changes
  • โœ“Permissive license (MIT OR Apache-2.0)

Security

Checking security advisories...
Downloads
4.0K
Dependents
0
Releases
3
Size
8KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

6 downloads in the last 30 days (0/day), up 100% from the previous period.

๐Ÿ‘ค
Prolific maintainer

The primary maintainer publishes 112 crates. This suggests deep Rust expertise and long-term commitment to the ecosystem.

๐Ÿ”ฌ
Pre-1.0 for over a year

Despite being 4+ years old, smt2patch hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿ“
Compact crate

At 7KB, smt2patch is lightweight. Small crate size correlates with focused, well-scoped functionality.

Health Breakdown

Maintenance 4/25

Recency, release consistency, active ratio

Quality 14/25

Yanked ratio, deps, size, maturity, features

Community 5/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 12/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
0/day avg+26%
012312/291/162/32/213/113/28

Version Adoption

v0.1.1
41%
v0.1.0
30%
v0.0.0
30%

Release Timeline

3 releasessince 2021
J
F
M
A
M
J
J
A
S
O
N
D
2021
3
2022
2023
2024
2025
2026
Less
More

README

Loading README...

Maintainers

Dependencies
4
direct dependencies
Dependents
0
crates depend on smt2patch

Similar Crates