smt-str
| Crates.io | smt-str |
| lib.rs | smt-str |
| version | 0.2.3 |
| created_at | 2025-03-24 14:31:36.738068+00 |
| updated_at | 2025-05-03 10:04:33.892558+00 |
| description | Utilities for working with SMT-LIB strings in Rust |
| homepage | https://github.com/lotzk/smt-str |
| repository | https://github.com/lotzk/smt-str |
| max_upload_size | |
| id | 1603840 |
| size | 404,943 |
Kevin Lotz (lotzk)
documentation
README
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.