Webinar: Mac Software Management for MSPs: From Visibility to Governance

Homebrew catalog

Formula

spot

Platform for LTL and ω-automata manipulation

View on formulae.brew.sh

Version: 2.16.2
License: GPL-3.0-or-later
Homepage: https://spot.lre.epita.fr
Installs (30 days): 63

brew install spot

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing