pkg.soopen package index

brew / 排名 5345

使用 Homebrew, MacPorts, Nix 安装 spot

查看 spot 的安装路径、可执行文件、元数据以及面向 AI 代理工作流的安全说明。

安装命令安全说明

安装

其他安装命令

macOS

Homebrew已验证 · 100%
brew install spot

local Homebrew formula metadata

MacPorts已验证 · 94%
sudo port install spot

MacPorts ports tree · science/spot/Portfile · 来源: api.github.com

Linux

Nix已验证 · 92%
nix profile install nixpkgs#spot

nixpkgs package indexes · pkgs/by-name/sp/spot/package.nix · 来源: api.github.com

概览

软件包摘要

Platform for LTL and ω-automata manipulation

命令和别名

  • autcross
  • autfilt
  • dstar2tgba
  • genaut
  • genltl
  • ltl2tgba
  • ltlcross
  • ltldo
  • ltlf2dfa
  • ltlfilt
  • ltlfsynt
  • ltlgrind
  • ltlmix
  • ltlsynt
  • randaut
  • randltl

历史

项目历史与用法

Spot is a C++ library and suite of command-line tools for linear temporal logic, omega-automata manipulation, and model-checking workflows.

项目历史

The official homepage describes Spot as a C++20 library for LTL, omega-automata manipulation, and model checking, with algorithms for formula manipulation, automata transformation, reactive synthesis, and model checking. It also exposes most algorithms through command-line tools and Python bindings.

采用历史

Spot has official source releases, Debian and Fedora repositories maintained by the project, Conda-forge availability, and package-manager entries recorded in the input for Homebrew, MacPorts, and Nix. Its package footprint reflects both research users who need libraries and CLI users who need tools such as ltl2tgba, autfilt, randltl, and ltlcross.

使用方式

Common use is formal-methods automation: translate LTL or PSL formulas to automata, filter or transform automata, generate random formulas or automata, and benchmark translators with cross-checking tools. The command-line tools matter because they let researchers and verification engineers compose Spot behavior in shell pipelines and experiments.

为什么软件包爱好者会关心

Spot is package-nerd relevant because it is not just one executable: it ships a library, development headers, Python bindings, documentation, and many specialized binaries. Packagers have to preserve that split while keeping compiler, Python, and documentation dependencies sane.

时间线

  • 2026-04-25: Official homepage lists Spot 2.15.1 as the latest release.
  • 2026: Install page documents project-maintained Debian and Fedora repositories plus Conda-forge availability.
  • Current: Git install instructions point to the official GitLab repository.

Related projects

  • The homepage identifies ltlcross as a rewrite of LBTT and describes autcross as a similar checker for automata-transforming tools.

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色 风险 · 低 置信度 · appliance

原因

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

安装行为

  • 未记录 Homebrew bottle 元数据。

建议审查

在无人值守的代理使用前，请检查该工具是否读取明文凭据、写入远程状态、发布制品或调用插件。

可执行文件

已安装的可执行文件

命令类型暴露范围备注
autcross可执行文件已索引可执行文件从本地可执行文件索引发现。
autfilt可执行文件已索引可执行文件从本地可执行文件索引发现。
dstar2tgba可执行文件已索引可执行文件从本地可执行文件索引发现。
genaut可执行文件已索引可执行文件从本地可执行文件索引发现。
genltl可执行文件已索引可执行文件从本地可执行文件索引发现。
ltl2tgba可执行文件已索引可执行文件从本地可执行文件索引发现。
ltlcross可执行文件已索引可执行文件从本地可执行文件索引发现。
ltldo可执行文件已索引可执行文件从本地可执行文件索引发现。
ltlf2dfa可执行文件已索引可执行文件从本地可执行文件索引发现。
ltlfilt可执行文件已索引可执行文件从本地可执行文件索引发现。
ltlfsynt可执行文件已索引可执行文件从本地可执行文件索引发现。
ltlgrind可执行文件已索引可执行文件从本地可执行文件索引发现。
ltlmix可执行文件已索引可执行文件从本地可执行文件索引发现。
ltlsynt可执行文件已索引可执行文件从本地可执行文件索引发现。
randaut可执行文件已索引可执行文件从本地可执行文件索引发现。
randltl可执行文件已索引可执行文件从本地可执行文件索引发现。

新鲜度

版本和新鲜度

这些信号区分页生成时间、软件包管理器活动和上游发布比较。只有存在证据 URL 和可比较版本时，才会提示版本落后。

页面生成时间2026-08-03
管理器版本2.15.1
管理器更新时间
本地数据未知
上游不可用
检测到的最新版本未检测到
  • OK没有生成新鲜度警告。

安装元数据

软件包元数据

软件包键brew:spot
版本2.15.1
软件包管理器Homebrew
主页https://spot.lre.epita.fr
Bottle未记录
服务未声明

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 Automic Vault 软件包链接分开显示。

Nix95%

spot

nix profile install nixpkgs#spot
  • normalized package name match
  • 匹配方式：Spot
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/sp/spot/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
MacPorts95%

spot

sudo port install spot
  • normalized package name match
  • 匹配方式：Spot
MacPorts ports tree · api.github.com · MacPorts ports tree: science/spot/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • Geiger risk classifier
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • pkg.so package database
  • pkgdb category and tag curation