文明
安装命令
brew install civl并发中间验证语言
https://vsl.cis.udel.edu/civl/
许可证： GPL-3.0-or-later 和 LGPL-3.0-or-later 和 BSD-3-Clause
公式 JSON API： /api/formula/civl.json
公式代码： civl.rb 在 GitHub
提供瓶装（二进制包）安装支持。
当前版本
| 稳定版 | ✅ | 1.22-5854 |
依赖项
| openjdk | 22.0.2 | Java编程语言的开发工具包 |
| z3 | 4.13.0 | 高性能定理证明器 |
分析
| 安装（30天） | |
|---|---|
文明 |
35 |
| 请求安装（30天） | |
文明 |
35 |
| 构建错误（30天） | |
文明 |
0 |
| 安装（90天） | |
文明 |
171 |
| 请求安装（90天） | |
文明 |
171 |
| 安装（365天） | |
文明 |
933 |
| 请求安装（365天） | |
文明 |
933 |
