amzn-smt-strings
| Crates.io | amzn-smt-strings |
| lib.rs | amzn-smt-strings |
| version | 0.1.0 |
| created_at | 2022-09-14 16:42:18.797085+00 |
| updated_at | 2022-09-14 16:42:18.797085+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 | 665932 |
| size | 317,158 |
(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.