z3
安装命令
brew install z3高性能定理证明器
https://github.com/Z3Prover/z3
许可证： MIT
公式 JSON API： /api/formula/z3.json
公式代码： z3.rb 在 GitHub 上
支持提供的瓶装（二进制包）安装
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位 linux | ✅ | |
当前版本
| 稳定版 | ✅ | 4.13.0 |
| 头版 | ⚡️ | HEAD |
从源代码构建时取决于
| cmake | 3.30.2 | 跨平台构建 |
| [email protected] | 3.12.4 | 解释性、交互式、面向对象的编程语言 |
分析
| 安装（30天） | |
|---|---|
z3 |
36,933 |
z3 --HEAD |
5 |
| 请求安装（30天） | |
z3 |
513 |
z3 --HEAD |
5 |
| 构建错误（30天） | |
z3 |
233 |
| 安装（90天） | |
z3 |
119,183 |
z3 --HEAD |
16 |
| 请求安装（90天） | |
z3 |
2,442 |
z3 --HEAD |
16 |
| 安装（365天） | |
z3 |
425,139 |
z3 --HEAD |
54 |
| 请求安装（365天） | |
z3 |
13,675 |
z3 --HEAD |
49 |
