spot

2.16

Platform for LTL and ω-automata manipulation

Install

brew install spot

Architecture	Platforms	Version	Download
Apple Silicon	Golden Gate	2.16	File SHA-256 `a931d5056f7d79e27861f6be31bbb6d2a4ce1b54fe98143b6d8221047b9dab25`
Apple Silicon	Tahoe	2.16	File SHA-256 `e1ec26a525add4518db370bba777082d78fcfe3c1dff62cefd652b5e6303cfc8`
Apple Silicon	Sequoia	2.16	File SHA-256 `0cb35760e6504fb34e0dbafbb61ba7cf0b725a767dd98fd0faefbe19a98368d6`
Apple Silicon	Sonoma	2.16	File SHA-256 `1ea411402fe46689720ab8705b27916dc1bb5ca46d2e74ef89686c5f905b9811`
ARM64	Linux	2.16	File SHA-256 `aebb085071607f69116e6dd7fa8b4844fdd28b53312b171187e75f3b32252936`
x86_64	Linux	2.16	File SHA-256 `d0e8428cda3ae1e2683b14afacc618ea321c522b45011000a6721b0c5d5ad65a`