py36-spot - Python binding for 'Spot', the library for omega automata manipulation

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly i386
Package filename py36-spot-2.8.2.txz
Package name py36-spot
Package version 2.8.2
Package release -
Package architecture i386
Package type txz
Category math
License GPLv3
Download size 699.02 KB
Installed size 4.03 MB
The python binding for 'Spot', the library for LTL, omega-automata manipulation
and model checking.


Package Version Architecture Repository
py36-spot-2.8.3.txz 2.8.3 i386 FreeBSD Ports Latest
py36-spot-2.8.3.txz 2.8.3 amd64 FreeBSD Ports Latest
py36-spot-2.8.2.txz 2.8.2 amd64 FreeBSD Ports Quarterly
py36-spot - - -


Name Value - - - -
python36 = 3.6.9
spot = 2.8.2


Type URL
Binary Package py36-spot-2.8.2.txz
Source Package math/py-spot

Install Howto

Install py36-spot txz package:

# pkg install py36-spot

See Also

Package Description
py36-spyder-3.2.7_7.txz Scientific PYthon Development EnviRonment, an alternative to IDLE
py36-spyne-2.12.16_1.txz Transport and architecture agnostic RPC library
py36-sqlalchemy-migrate-0.12.0_1.txz Database schema migrations for SQLAlchemy
py36-sqlalchemy10-1.0.14.txz Python SQL toolkit and Object Relational Mapper 1.0.x
py36-sqlalchemy11-1.1.18.txz Python SQL toolkit and Object Relational Mapper 1.1.x
py36-sqlalchemy12-1.2.19.txz Python SQL toolkit and Object Relational Mapper 1.2.x
py36-sqlalchemy13-1.3.8.txz Python SQL toolkit and Object Relational Mapper 1.3.x
py36-sqlite3-3.6.9_7.txz Standard Python binding to the SQLite3 library (Python 3.6)
py36-sqlobject-1.6.0.txz Python object for manipulation with SQL table row
py36-sqlparse-0.3.0_1.txz Non-validating SQL parser for Python
py36-sqlparse020-0.2.0_1.txz Non-validating SQL parser for Python (version 0.2.0)
py36-sqlrelay-1.4.0_2.txz Python modules to access to SQL Relay
py36-sseclient-0.0.24.txz Python client library for reading Server Sent Event streams
py36-ssh-1.8.0_1.txz Python SSH2 protocol library
py36-ssh-audit-1.7.0.txz SSH server auditing