mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-02 01:20:54 +00:00
5 lines
133 B
Plaintext
5 lines
133 B
Plaintext
The python binding for 'Spot', the library for LTL, omega-automata manipulation
|
|
and model checking.
|
|
|
|
WWW: https://spot.lrde.epita.fr
|