# Install spot

Platform for LTL and ω-automata manipulation. Version 2.15.1 via Homebrew; verified 2026-04-26.

## Install

```sh
sudo av install brew:spot
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install spot
```

  Evidence: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install spot
```

  Evidence: MacPorts ports tree: science/spot/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#spot
```

  Evidence: nixpkgs package indexes: pkgs/by-name/sp/spot/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

## Package Facts

- **Package key:** brew:spot
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/spot>
- **Version:** 2.15.1
- **Source summary:** Platform for LTL and ω-automata manipulation
- **Homepage:** <https://spot.lre.epita.fr>
- **Upstream docs:** <https://github.com/xvzc/SpoofDPI#readme>
- **License:** GPL-3.0-or-later
- **Source archive:** <https://www.lrde.epita.fr/dload/spot/spot-2.15.1.tar.gz>
- **Last updated:** 2026-04-26T00:47:45Z
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- 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)
- autcross (alias)
- autfilt (alias)
- dstar2tgba (alias)
- genaut (alias)
- genltl (alias)
- ltl2tgba (alias)
- ltlcross (alias)
- ltldo (alias)
- ltlf2dfa (alias)
- ltlfilt (alias)
- ltlfsynt (alias)
- ltlgrind (alias)
- ltlmix (alias)
- ltlsynt (alias)
- randaut (alias)
- randltl (alias)

## Build Dependencies

- python@3.14

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 2.15.1
- Package-manager updated: 2026-04-26
- Local data status: ok
- Upstream repository: https://spot.lre.epita.fr
- info: Release/tag comparison is only available for GitHub repositories.

## Sicherheitshinweise

narrow executable package without higher-risk signals.

- **Geiger risk:** green / low
- narrow executable package without higher-risk signals

## Source Database Details

- **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

## Other Package-Manager Records

- Nix - spot: normalized package name match | nixpkgs package indexes: pkgs/by-name/sp/spot/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- MacPorts - spot: normalized package name match | MacPorts ports tree: science/spot/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Related Links

- [Terminal utility packages](https://www.automicvault.com/de/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Language runtime packages](https://www.automicvault.com/de/pkg/language-runtime-packages/) - Matched language runtime, compiler, or interpreter metadata.
- [Networking and protocol packages](https://www.automicvault.com/de/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [Homebrew utility packages](https://www.automicvault.com/de/pkg/brew-utility-packages/) - Matched Homebrew package provider.
- [python@3.14](https://www.automicvault.com/de/pkg/brew/python-3-14/) - Build dependency declared by Homebrew.
- [obfs4proxy](https://www.automicvault.com/de/pkg/brew/obfs4proxy/) - Shares av.db curated category or tags: cli, go, networking, privacy.
- [meek](https://www.automicvault.com/de/pkg/brew/meek/) - Shares av.db curated category or tags: anti-censorship, cli, networking, privacy.
- [tor](https://www.automicvault.com/de/pkg/brew/tor/) - Shares av.db curated category or tags: cli, networking, privacy.
- [dnscrypt-proxy](https://www.automicvault.com/de/pkg/brew/dnscrypt-proxy/) - Shares av.db curated category or tags: cli, networking, privacy.
- [torsocks](https://www.automicvault.com/de/pkg/brew/torsocks/) - Shares av.db curated category or tags: cli, networking, privacy.
- [i2pd](https://www.automicvault.com/de/pkg/brew/i2pd/) - Shares av.db curated category or tags: cli, networking, privacy.
- [i2p](https://www.automicvault.com/de/pkg/brew/i2p/) - Shares av.db curated category or tags: cli, networking, privacy.
- [stubby](https://www.automicvault.com/de/pkg/brew/stubby/) - Shares av.db curated category or tags: cli, networking, privacy.
- [spoofdpi](https://www.automicvault.com/de/pkg/brew/spoofdpi/) - Both packages touch the same language runtime or ecosystem. Shared terms: anti, anti-censorship, censorship, cli, go.

## Sources

- Nucleus package database
- Geiger risk classifier
- package-page enrichment
- package version freshness
- av.db category and tag curation
- package relationship graph
- external package-manager database matches
- cross-ecosystem install command graph