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: 298a4c2fb3989390d0886580393f23514ad82fbb (plain) (blame)

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

WWW: https://spot.lrde.epita.fr