Workbrew Catalog

Formula

spot

Platform for LTL and ω-automata manipulation

View on formulae.brew.sh

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

brew install spot

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing