LTL 和 ω-自动机操作的平台
许可证: GPL-3.0-or-later
公式 JSON API: /api/formula/spot.json
公式代码: spot.rb
在 GitHub
提供瓶装(二进制包)安装支持
Apple Silicon | sonoma | ✅ |
---|---|---|
ventura | ✅ | |
monterey | ✅ | |
Intel | sonoma | ✅ |
ventura | ✅ | |
monterey | ✅ | |
64位 Linux | ✅ |
当前版本
稳定版 | ✅ | 2.12 |
从源码构建时依赖项
[email protected] | 3.12.4 | 解释性、交互式、面向对象编程语言 |
分析
安装(30天) | |
---|---|
spot |
10 |
请求安装(30天) | |
spot |
10 |
构建错误(30天) | |
spot |
0 |
安装(90天) | |
spot |
71 |
请求安装(90天) | |
spot |
71 |
安装(365天) | |
spot |
147 |
请求安装(365天) | |
spot |
147 |