z3-sys

Rust 对 Z3 SMT 求解器的底层绑定

遵循 MIT 许可协议。

有关 Z3 的详细信息，请参阅 https://github.com/Z3Prover/z3

文档

API 已完全文档化，并提供示例：https://docs.rs/z3-sys/

安装

此crate与Cargo配合使用，并在crates.io上可用。将其添加到您的 Cargo.toml 如下：

[dependencies]
z3-sys = "0.8"

注意：此crate在构建时需要 z3.h

• 默认情况下，crate将在标准/系统包含路径中查找 z3.h
• 如果启用了功能 static-link-z3，则将使用构建的Z3的 z3.h
• 或者，可以通过环境变量 Z3_SYS_Z3_HEADER 指定所需 z3.h 的路径。例如，运行

$ Z3_SYS_Z3_HEADER="/path/to/my/z3.h" cargo build

在您的项目中将使用 /path/to/my/z3.h 代替。

支持和维护

迄今为止，我主要独立开发了这个库。我可以提供支持和维护，但非常欢迎通过 Patreon 进行捐赠。我还可以提供商业支持，请随时 联系我。

贡献

除非您明确声明，否则任何有意提交以包含在您的工作中的贡献，都应按上述方式双重许可，没有其他条款或条件。