Z3str3型

Z3str3:一个具有理论启发的字符串求解器。Z3str3是字符串方程的无量词理论、正则表达式成员谓词和长度函数上的线性算法的约束求解器。Z3str3现在是Z3定理证明器的主要代码库的一部分,并且是Z3中主要的字符串解算器。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换