crates.io : aws-smt-strings
A library for manipulating SMT-LIB strings and regular expressions
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/aws-smt-strings
Keywords:
regular-expressions
, smt
, smt-lib
, strings
License: Apache-2.0
Latest release: 9 months ago
First release: almost 3 years ago
Downloads: 4,416 total
Stars: 9 on GitHub
Forks: 2 on GitHub
Total Commits: 17
Committers: 2
Average commits per author: 8.5
Development Distribution Score (DDS): 0.059
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago