Port details on branch 2022Q3 |
- spot Library for omega automata manipulation and model checking
- 2.11.6_1 math =0 2.11.6_1Version of this port present on the latest quarterly branch.
- Maintainer: yuri@FreeBSD.org
- Port Added: 2018-08-04 23:31:11
- Last Update: 2024-03-12 12:04:30
- Commit Hash: ec04816
- License: GPLv3
- WWW:
- https://spot.lrde.epita.fr
- Description:
- Spot is a library for LTL, omega-automata manipulation and model checking.
It has the following notable features:
* Support for LTL (several syntaxes supported) and a subset of the linear
fragment of PSL.
* Support for omega-automata with arbitrary acceptance condition.
* Support for transition-based acceptance (state-based acceptance is supported
by a reduction to transition-based acceptance).
* The automaton parser can read a stream of automata written in any of four
syntaxes (HOA, never claims, LBTT, DSTAR).
* Several algorithms for formula manipulation including: simplifying formulas,
testing implication or equivalence, testing stutter-invariance, removing some
operators by rewriting, translation to automata, testing membership to the
temporal hierarchy of Manna & Pnueli...
* Several algorithms for automata manipulation including: product, emptiness
checks, simulation-based reductions, minimization of weak-DBA, removal of
useless SCCs, acceptance-condition transformations, determinization, SAT-based
minimization of deterministic automata, etc.
* In addition to the C++ interface, most of its algorithms are usable via
command-line tools, and via Python bindings.
* One command-line tool, called ltlcross, is a rewrite of LBTT, but with support
for PSL and automata with arbitrary acceptance conditions.
- ¦ ¦ ¦ ¦
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- To install the port:
- cd /usr/ports/math/spot/ && make install clean
- To add the package, run one of these commands:
- pkg install math/spot
- pkg install spot
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: spot
- Flavors: there is no flavor information for this port.
- distinfo:
- TIMESTAMP = 1690957361
SHA256 (spot-2.11.6.tar.gz) = a692794f89c0db3956ba5919bdd5313e372e0de34000a9022f29e1c6e91c538a
SIZE (spot-2.11.6.tar.gz) = 7573694
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.4.1 : devel/gmake
- Test dependencies:
-
- py39-numpy>=1.16,1<1.26,1 : math/py-numpy@py39
- py39-pandas>0 : math/py-pandas@py39
- syfco : math/hs-syfco
- python3.9 : lang/python39
- This port is required by:
- for Libraries
-
- math/py-spot
Configuration Options:
- ===> The following configuration options are available for spot-2.11.6_1:
DOCS=on: Build and/or install documentation
===> Use 'make config' to modify these settings
- Options name:
- math_spot
- USES:
- charsetfix compiler:c++17-lang gmake libtool python:test
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|