Workbrew catalog

Formula

spot

Platform for LTL and ω-automata manipulation

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

brew install spot

Deploy any of these packages across your fleet in minutes.

Book a demo See pricing