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:

Status

This crate is in early development.

Related

• SMT-LIB String Theory Spec