z3

到Z3 SMT求解器的高层Rust绑定

遵循MIT许可证。

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

文档

API已完全文档化，包含示例： https://docs.rs/z3/

安装

此crate与Cargo兼容，位于crates.io。将其添加到您的 Cargo.toml 中，如下所示

[dependencies]
z3 = "0.12"

注意：此库依赖于Z3。您可能需要已安装Z3依赖项，或者可以像这样静态链接到我们构建的Z3

[dependencies]
z3 = {version="0.12", features = ["static-link-z3"]}

支持和维护

到目前为止，我主要独立开发这个库。我可以提供支持和维护，但我非常感谢通过Patreon进行的捐赠。我还可以提供商业支持，请联系我。

贡献

除非您明确说明，否则您提交的任何有意包含在作品中的贡献都将双重许可，如上所述，没有任何额外条款或条件。