This Rust library provides support building and operating on strings and regular expressions as defined in the SMT-LIB theory of strings.
See CONTRIBUTING for more information.
This project is licensed under the Apache-2.0 License.
This Rust library provides support building and operating on strings and regular expressions as defined in the SMT-LIB theory of strings.
See CONTRIBUTING for more information.
This project is licensed under the Apache-2.0 License.
Apache License 2.0