Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/awslabs/rust-smt-strings
https://github.com/awslabs/rust-smt-strings
Last synced: about 1 month ago
JSON representation
- Host: GitHub
- URL: https://github.com/awslabs/rust-smt-strings
- Owner: awslabs
- License: apache-2.0
- Created: 2022-08-26T01:59:20.000Z (almost 2 years ago)
- Default Branch: main
- Last Pushed: 2023-10-19T23:28:45.000Z (8 months ago)
- Last Synced: 2023-10-20T05:29:24.104Z (8 months ago)
- Language: Rust
- Size: 306 KB
- Stars: 2
- Watchers: 11
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
Lists
- awesome-rust-formalized-reasoning - rust-smt-strings - [:package:](https://crates.io/crates/aws-smt-strings) - library for strings as defined in the SMT-LIB theory of strings. (Projects / Libraries)
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](http://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml).
## Security
See [CONTRIBUTING](CONTRIBUTING.md#security-issue-notifications) for more information.
## License
This project is licensed under the Apache-2.0 License.