7 个版本
| 0.2.4 | 2021 年 7 月 9 日 |
|---|---|
| 0.2.3 | 2021 年 7 月 8 日 |
| 0.2.1 | 2021 年 6 月 9 日 |
| 0.2.0 | 2021 年 4 月 9 日 |
| 0.0.0 | 2021 年 1 月 27 日 |
#11 in #smt-lib
每月 22 次下载
210KB
5.5K SLoC
smt2proxy
smt2proxy 是一个实验性的二进制工具，用于在将 SMT2 命令发送给 SMT 求解器之前拦截和预处理这些命令。它作为 SMT 求解器二进制的命令行替代品。目前仅支持 Z3。
stm2proxy 库提供了二进制工具 smt2proxy 使用的命令处理功能和配置。
贡献
有关如何帮助的说明，请参阅 CONTRIBUTING 文件。
许可证
该项目可在 Apache 2.0 许可证或 MIT 许可证的条款下获得。
依赖关系
~6MB
~84K SLoC