macOS
Homebrewvérifié · 100%
brew install spotlocal Homebrew formula metadata
MacPortsvérifié · 94%
sudo port install spotMacPorts ports tree · science/spot/Portfile · Source: api.github.com
brew / rang 5345
Installer spot avec Homebrew, MacPorts, Nix
Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de spot pour les workflows d'agents IA.
installation
Commandes d'installation supplémentaires
Linux
Nixvérifié · 92%
nix profile install nixpkgs#spotnixpkgs package indexes · pkgs/by-name/sp/spot/package.nix · Source: api.github.com
aperçu
Résumé du paquet
Platform for LTL and ω-automata manipulation
Liens du projet
Commandes et alias
- autcross
- autfilt
- dstar2tgba
- genaut
- genltl
- ltl2tgba
- ltlcross
- ltldo
- ltlf2dfa
- ltlfilt
- ltlfsynt
- ltlgrind
- ltlmix
- ltlsynt
- randaut
- randltl
historique
Historique du projet et usages
Spot is a C++ library and suite of command-line tools for linear temporal logic, omega-automata manipulation, and model-checking workflows.
Historique du projet
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.
Historique d'adoption
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.
Modes d'utilisation
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.
Pourquoi les passionnés de paquets s'y intéressent
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.
Chronologie
- 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.
Sources
- 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.
posture de sécurité
Niveau de risque : vert
narrow executable package without higher-risk signals.
Classificateur de risque
risque vert · confiance faible · appliance
Pourquoi
- narrow executable package without higher-risk signals
Signaux
- metadata:no-higher-risk-signals
Comportement d'installation
- Aucune métadonnée de bottle Homebrew n’a été enregistrée.
Revue recommandée
Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.
exécutables
Exécutables installés
| Commande | Type | Exposition | Note |
|---|---|---|---|
autcross | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
autfilt | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
dstar2tgba | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
genaut | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
genltl | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltl2tgba | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltlcross | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltldo | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltlf2dfa | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltlfilt | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltlfsynt | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltlgrind | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltlmix | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
ltlsynt | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
randaut | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
randltl | exécutable | exécutable indexé | Découvert depuis l'index local des exécutables. |
fraîcheur
Version et fraîcheur
Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.
page générée2026-08-03
version du gestionnaire2.15.1
gestionnaire mis à jour
données localesinconnu
amontnon disponible
dernière version détectéenon détecté
- OKAucun avertissement de fraîcheur n'a été généré.
métadonnées d'installation
Métadonnées du paquet
| Clé du paquet | brew:spot |
|---|---|
| Version | 2.15.1 |
| Gestionnaire de paquets | Homebrew |
| Page d'accueil | https://spot.lre.epita.fr |
| Bouteille | non enregistré |
| Service | aucun déclaré |
correspondances dans les bases sources
Autres enregistrements de gestionnaires de paquets
Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.
Nix95%
spot
nix profile install nixpkgs#spot- normalized package name match
- Correspondance par : Spot
MacPorts95%
spot
sudo port install spot- normalized package name match
- Correspondance par : Spot
piste source
Généré depuis les données du dépôt
Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.
Combined YAML source
View the package source record on GitHub.
Sources utilisées
- 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