Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot


conda install

  • linux-64  v2.10.6
  • osx-64  v2.10.6
To install this package with conda run:
conda install -c conda-forge spot


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

© 2022 Anaconda, Inc. All Rights Reserved. (v2.36.2 f2f4cf0f) Legal | Privacy Policy