Webinar: Workbrew 2.0: Secure the software your company runs

Homebrew catalog

Formula

spot

Platform for LTL and ω-automata manipulation

View on formulae.brew.sh

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

brew install spot

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing