aws-smt-strings
| Crates.io | aws-smt-strings |
| lib.rs | aws-smt-strings |
| version | 0.3.0 |
| source | src |
| created_at | 2022-09-16 01:32:53.113028 |
| updated_at | 2023-10-19 23:29:11.512827 |
| 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 | 318,832 |
(mww-aws)
documentation
README
rust-smt-strings
This Rust library provides support 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.