rustio rustio.net
53

aws-smt-strings

v0.6.0 Growing

A library for manipulating SMT-LIB strings and regular expressions

Apache-2.0 Edition 2018
Science #strings#regular-expressions#smt#smt-lib

Quick Verdict

  • โœ“Actively maintained (updated 11d ago)
  • !Pre-1.0: API may have breaking changes
  • โœ“Team maintained (3 owners)
  • โœ“Tiny footprint (71KB, 0 deps)
  • โœ“Permissive license (Apache-2.0)

Security

Checking security advisories...
Downloads
5.4K
Dependents
0
Releases
6
Size
71KB

Deep Insights

๐Ÿ“ˆ
Strong growth momentum

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

๐Ÿ‘ฅ
Team maintained

This crate is maintained by a team (3 owners), reducing bus-factor risk and ensuring continuity.

๐Ÿ”ฌ
Pre-1.0 for over a year

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

๐Ÿชถ
Zero dependencies

aws-smt-strings has no external dependencies โ€” minimal supply chain risk and fast compile times.

โš ๏ธ
Notable yanked versions

17% of releases have been yanked. Check version history before pinning.

Health Breakdown

Maintenance 18/25

Recency, release consistency, active ratio

Quality 12/25

Yanked ratio, deps, size, maturity, features

Community 10/20

Reverse deps, ownership, ecosystem

Popularity 4/15

Downloads, momentum, growth trend

Documentation 9/15

Docs, repo, license, metadata

Download Trend

Daily downloads ยท last 90 days
1/day avg-17%
0246812/291/162/32/213/113/28

Version Adoption

v0.3.0
35%
v0.1.0
31%
v0.4.0
25%
v0.5.0
8%
v0.6.0
0%

Release Timeline

6 releases1 yankedsince 2022
J
F
M
A
M
J
J
A
S
O
N
D
2022
1
2023
2
2024
1
2025
1
2026
1
Less
More|
Yanked

README

Loading README...

Maintainers

Dependencies
0
direct dependencies
Dependents
0
crates depend on aws-smt-strings

Similar Crates