rsmt2

linux	windows

一个通用的库，用于与在单独的系统进程中运行的符合SMT-LIB 2规范的求解器交互，例如 Z3。

Crate.io文档。

如果您使用此库，请考虑在 仓库 上联系我们，以便我们将您的项目添加到readme中。

请参阅 CHANGES.md 以获取更改列表。

未来功能（如有请求）

• 支持更多求解器
• 获取证明

使用 rsmt2 的已知项目

• kinō，一个转换系统的模型检查器（已放弃）
• hoice，一个基于机器学习的Horn子句谓词综合器

许可

MIT/Apache-2.0