rust-smt-strings

此 Rust 库提供了构建和操作 SMT-LIB 定义的字符串和正则表达式的支持。

安全

有关更多信息，请参阅 CONTRIBUTING。

许可证

本项目采用 Apache-2.0 许可证。

lib.rs:

支持操作 SMT 风格的字符串和正则表达式

概述

此包包括对构建和操作字符串常量和正则表达式的支持，这些字符串和正则表达式由 SMT-LIB 字符串理论 定义。

smt_strings 模块实现了理论中定义的、不使用正则表达式的 SMT-LIB 函数。

smt_regular_expressions 模块实现了操作正则表达式的 SMT-LIB 函数。

该包还提供了将正则表达式编译成确定性有限状态自动机、计算正则表达式的导数、检查正则表达式是否为空等工具。

regular_expressions 模块实现了正则表达式构造、导数和转换为自动机的功能。模块 automata 提供了构建和最小化自动机的函数。