====== Spot ======

Spot is a platform for LTL and ω-automata manipulation.

[[https://spot.lrde.epita.fr/|Spot homepage]]