安装

其他安装命令

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.

来源

https://spot.lre.epita.fr/: official project description, command-line tools, release, license, and contact details.
https://spot.lre.epita.fr/install.html: official install methods, package split, Conda-forge note, and Git repository URL.
input.source_facts.executables: Homebrew executable list for installed Spot tools.
input.source_facts.package-manager: Homebrew, MacPorts, and Nix package-manager presence.

安全态势

风险级别：绿色

narrow executable package without higher-risk signals.

风险分类器

绿色风险 · 低置信度 · appliance

原因

narrow executable package without higher-risk signals

信号

metadata:no-higher-risk-signals

安装行为

formula 元数据中未记录 Homebrew post-install 钩子。
Homebrew bottle 元数据适用于 6 个平台目标。
构建元数据列出 1 个构建依赖。

建议审查

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

可执行文件

已安装的可执行文件

命令	类型	暴露范围
`autcross`	cli	全局可执行文件
`autfilt`	cli	全局可执行文件
`dstar2tgba`	cli	全局可执行文件
`genaut`	cli	全局可执行文件
`genltl`	cli	全局可执行文件
`ltl2tgba`	cli	全局可执行文件
`ltlcross`	cli	全局可执行文件
`ltldo`	cli	全局可执行文件
`ltlf2dfa`	cli	全局可执行文件
`ltlfilt`	cli	全局可执行文件
`ltlfsynt`	cli	全局可执行文件
`ltlgrind`	cli	全局可执行文件
`ltlmix`	cli	全局可执行文件
`ltlsynt`	cli	全局可执行文件
`randaut`	cli	全局可执行文件
`randltl`	cli	全局可执行文件

新鲜度

版本和新鲜度

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

页面生成时间2026-08-04

管理器版本2.15.1

管理器更新时间

本地数据OK

上游not checked

检测到的最新版本未检测到

https://spot.lre.epita.fr

信息No package-manager update timestamp was available.低置信度
信息Release/tag comparison is only available for GitHub repositories.https://spot.lre.epita.frnone 置信度

安装元数据

软件包元数据

软件包键	brew:spot
版本	2.15.1
软件包管理器	Homebrew
软件包管理器页面	https://formulae.brew.sh/formula/spot
主页	https://spot.lre.epita.fr
上游文档	https://spot.lre.epita.fr
许可证	GPL-3.0-or-later
源码归档	https://www.lrde.epita.fr/dload/spot/spot-2.15.1.tar.gz
构建依赖	python@3.14
Bottle	可用 (于 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定义
服务	未声明

注册表事实

源数据库详情

Source Database	Homebrew formula API
Tap	homebrew/core
Full Name	spot
Version Scheme	0
Revision	0
Bottle Stable Root URL	https://ghcr.io/v2/homebrew/core
Deprecated	no
Disabled	no
Keg Only	no
URL Keys	stable

源数据库匹配

其他软件包管理器记录

匹配项来自外部软件包管理器索引，并与本地 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 工件提供。

Combined YAML source

View the package source record on GitHub.

combined/spot.yml

使用的来源

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

使用 Homebrew, MacPorts, Nix 安装 spot