aws-smt-strings 0.5.0

A library for manipulating SMT-LIB strings and regular expressions
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

## 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](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.