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.