aws-smt-strings
| Crates.io | aws-smt-strings |
| lib.rs | aws-smt-strings |
| version | 0.5.0 |
| created_at | 2022-09-16 01:32:53.113028+00 |
| updated_at | 2025-09-11 21:25:09.078908+00 |
| description | A library for manipulating SMT-LIB strings and regular expressions |
| homepage | |
| repository | https://github.com/awslabs/rust-smt-strings |
| max_upload_size | |
| id | 667034 |
| size | 322,992 |
(mww-aws)
documentation
README
rust-smt-strings
This Rust library provides support for building and operating on strings and regular expressions as defined in the SMT-LIB theory of strings.
Security
See CONTRIBUTING for more information.
License
This project is licensed under the Apache-2.0 License.