FreeBSD.software

Home/math/py311-spot

py311-spot

2.14.5math

Python binding for 'Spot', the library for omega automata manipulation

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

$pkg install py311-spot

spot.lrde.epita.fr ↗

Origin

math/py-spot

Size

6.68MiB

License

GPLv3

Maintainer

yuri@FreeBSD.org

Dependencies

2 packages

Required by

0 packages

Dependencies (2)