The python binding for 'Spot', the library for LTL, omega-automata manipulation
and model checking.

WWW: https://spot.lrde.epita.fr