#regex #string #smt #smt-lib

yanked amzn-smt-strings

A library for manipulating SMT-LIB strings and regular expressions

0.1.0 Sep 14, 2022

#4 in #regular-expressions

Apache-2.0

305KB
6K SLoC

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.


lib.rs:

Support for manipulating SMT-style strings and regular expressions

Overview

This crate includes support for building and operating on string constants and regular expressions as defined in the SMT-LIB theory of strings.

The smt_strings module implements the SMT-LIB functions defined in the theory that do not use regular expressions.

The smt_regular_expressions module implements the SMT-LIB functions of that operate on regular expressions.

The crate also provides utilities for compiling regular expressions to deterministic finite-state automata, computing the derivatives of a regular expressions, checking whether a regular expression is empty, and so forth.

Module regular_expressions implements regular expression constructs, derivatives, and conversion to automata. Module automata provides functions for constructing and minimizing automata.

No runtime deps