Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot
Click on a badge to see how to embed it in your web page
badge
https://anaconda.org/conda-forge/spot/badges/version.svg
badge
https://anaconda.org/conda-forge/spot/badges/latest_release_date.svg
badge
https://anaconda.org/conda-forge/spot/badges/latest_release_relative_date.svg
badge
https://anaconda.org/conda-forge/spot/badges/platforms.svg
badge
https://anaconda.org/conda-forge/spot/badges/license.svg
badge
https://anaconda.org/conda-forge/spot/badges/downloads.svg
badge
https://anaconda.org/conda-forge/spot/badges/installer/conda.svg

© 2022 Anaconda, Inc. All Rights Reserved. (v2.37.1 62cb502a) Legal | Privacy Policy