acl2
安装命令
brew install acl2一种可以用于建模计算机系统的逻辑和编程语言
https://www.cs.utexas.edu/users/moore/acl2/index.html
许可证： BSD-3-Clause
公式 JSON API： /api/formula/acl2.json
公式代码： acl2.rb 在 GitHub 上
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| 64位 Linux | ✅ | |
当前版本
| 稳定版 | ✅ | 8.5 |
修订版： 20
依赖项
| sbcl | 2.4.7 | Steel Bank Common Lisp 系统 |
分析
| 安装（30天） | |
|---|---|
acl2 |
101 |
| 请求安装（30天） | |
acl2 |
101 |
| 构建错误（30天） | |
acl2 |
0 |
| 安装（90天） | |
acl2 |
242 |
| 请求安装（90天） | |
acl2 |
242 |
| 安装（365天） | |
acl2 |
810 |
| 请求安装（365天） | |
acl2 |
810 |
