6 releases
| 0.2.3 | May 3, 2025 |
|---|---|
| 0.2.2 | May 1, 2025 |
| 0.2.1 | Apr 18, 2025 |
| 0.2.0 | Mar 25, 2025 |
| 0.1.1 | Mar 25, 2025 |
#588 in Text processing
395KB
7.5K
SLoC
smt-str
A Rust crate for working with SMT-LIB strings, regular expressions, and automata.
smt-str provides data structures and utilities to parse, manipulate, and reason about strings and regular expressions following the semantics defined in the SMT-LIB theory of strings. It also includes tools for compiling SMT-LIB regular expressions into NFAs.
Installation
Install with cargo add:
cargo add smt-str --features=<features>
By default, no addtional features are enabled. In that case, the crate only provides basic SMT string handling. See below for available features.
Feature Flags
This crate provides several feature flags to enable or disable specific functionality:
| Feature | Enables |
|---|---|
regex |
Regex construction |
automata |
NFAs, regex-to-NFA compilation, visualization |
sampling |
Random generation of strings from regular expressions or NFAs |
full |
Enables all of the above |
Status
This crate is in early development.
Related
Dependencies
~0.6–1.1MB
~20K SLoC