インストール

追加のインストールコマンド

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.fr信頼度 none

インストールメタデータ

パッケージメタデータ

パッケージキー	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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

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

spot を Homebrew, MacPorts, Nix でインストール