z3

Z3 Z3 是微软研究院开发的一款定理证明器。它采用 MIT 许可证 进行授权。Windows 二进制发行版包含 C++ 运行时可再分发组件。 如果你不熟悉 Z3，可以从这里开始了解。 稳定版和 nightly 版本的预编译二进制文件可在此处获取。 Z3 可以使用 Visual Studio、Makefile、CMake、vcpkg 或 Bazel 构建。它还为多种编程语言提供了绑定。 有关 Z3 各个稳定版本的说明，请参阅发布说明。 构建状态 Pull Request 和 Push 工作流 WASM 构建| Windows 构建| CI| OCaml 绑定 ---|---|---|--...