ltl2ba
安装命令
brew install ltl2ba将LTL公式转换为Buchi自动机
https://www.lsv.ens-cachan.fr/~gastin/ltl2ba/
许可证：GPL-2.0-or-later
公式JSON API：/api/formula/ltl2ba.json
公式代码：在GitHub上的ltl2ba.rb
提供瓶装（二进制包）安装支持
| Apple Silicon | sonoma | ✅ |
|---|---|---|
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| Intel | sonoma | ✅ |
| ventura | ✅ | |
| monterey | ✅ | |
| big sur | ✅ | |
| catalina | ✅ | |
| mojave | ✅ | |
| high sierra | ✅ | |
| 64位linux | ✅ | |
当前版本
| 稳定版 | ✅ | 1.3 |
分析
| 安装量（30天） | |
|---|---|
ltl2ba |
0 |
| 请求安装量（30天） | |
ltl2ba |
0 |
| 构建错误（30天） | |
ltl2ba |
0 |
| 安装量（90天） | |
ltl2ba |
4 |
| 请求安装量（90天） | |
ltl2ba |
4 |
| 安装量（365天） | |
ltl2ba |
14 |
| 请求安装量（365天） | |
ltl2ba |
14 |
