pkg-descr « py-spot « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/py-spot/pkg-descr

blob: c984b9213dc5d316922d5645e0bca1c9bba1f450 (plain) (blame)

1
2

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