rust-smt-strings

此 Rust 库提供对 SMT-LIB 理论中定义的字符串和正则表达式进行构建和操作的支持。

安全性

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

许可证

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

lib.rs:

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

概述

此 crate 包含了对构建和操作 SMT-LIB 理论中定义的字符串常量和正则表达式的支持。

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

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

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

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