Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/awslabs/rust-smt-strings


https://github.com/awslabs/rust-smt-strings

Last synced: 3 months ago
JSON representation

Awesome Lists containing this project

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.