4 lines
133 B
Text
4 lines
133 B
Text
The python binding for 'Spot', the library for LTL, omega-automata manipulation
|
|
and model checking.
|
|
|
|
WWW: https://spot.lrde.epita.fr
|