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