rustio rustio.net
34

amzn-smt-strings

v0.1.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

  • โœ•Not updated for 3+ years
  • !Pre-1.0: API may have breaking changes
  • โœ“Team maintained (3 owners)
  • โœ“Tiny footprint (68KB, 0 deps)
  • โœ“Permissive license (Apache-2.0)

Security

Checking security advisories...
Downloads
1.3K
Dependents
0
Releases
1
Size
68KB

Deep Insights

๐Ÿ“Š
Download activity

2 downloads in the last 30 days (0/day avg).

๐Ÿ‘ฅ
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, amzn-smt-strings hasn't reached 1.0 yet. Expect potential API changes between versions.

๐Ÿชถ
Zero dependencies

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

โš ๏ธ
Notable yanked versions

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

Health Breakdown

Maintenance 1/25

Recency, release consistency, active ratio

Quality 10/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
0/day avg
00.20.40.60000000000000010.8112/291/162/32/213/113/28

Release Timeline

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

README

Loading README...

Maintainers

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

Similar Crates