Spot | Anaconda.org

conda-forge / packages / spot 2.12.1

1

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot

License: GPL-3.0-or-later
Home: https://spot.lre.epita.fr
Development: https://gitlab.lre.epita.fr/spot/spot/
Documentation: https://spot.lre.epita.fr/
157491 total downloads
Last upload: 2 months and 9 days ago

Installers

linux-64 v2.12.1
linux-aarch64 v2.12
osx-64 v2.11.6
linux-ppc64le v2.11.6

conda install

To install this package run one of the following:
conda install conda-forge::spot

Description

Spot is a C++17 library for LTL, ω-automata manipulation, and model checking. It also comes with a Python interface, and command-line tools.

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy