crates.io : amzn-smt-strings
A library for manipulating SMT-LIB strings and regular expressions
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/amzn-smt-strings
Keywords:
smt-lib
, regular-expressions
, strings
, smt
License: Apache-2.0
Latest release: 7 days ago
First release: almost 3 years ago
Downloads: 1,166 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: 7 days ago