About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / spot

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-post-staging / spot

Filters
Type Size Name Uploaded Downloads Labels
conda 9.4 MB | osx-64/spot-2.11.1-py310h7a76584_0.tar.bz2  3 years and 4 months ago 98 main
conda 9.5 MB | osx-64/spot-2.11.1-py38h4cd09af_0.tar.bz2  3 years and 4 months ago 92 main
conda 9.5 MB | osx-64/spot-2.11.1-py39h811bc5e_0.tar.bz2  3 years and 4 months ago 93 main
conda 9.4 MB | osx-64/spot-2.11.1-py38h4452504_0.tar.bz2  3 years and 4 months ago 95 main
conda 9.4 MB | osx-64/spot-2.11.1-py39h7a8716b_0.tar.bz2  3 years and 4 months ago 97 main
conda 9.5 MB | osx-64/spot-2.11.1-py37hac51a3e_0.tar.bz2  3 years and 4 months ago 105 main
conda 9.6 MB | linux-64/spot-2.11.1-py38hfa26641_0.tar.bz2  3 years and 4 months ago 2069 main
conda 9.6 MB | linux-64/spot-2.11.1-py39h0e26352_0.tar.bz2  3 years and 4 months ago 2515 main
conda 9.6 MB | linux-64/spot-2.11.1-py38ha8be2cd_0.tar.bz2  3 years and 4 months ago 2066 main
conda 9.6 MB | linux-64/spot-2.11.1-py39h5a03fae_0.tar.bz2  3 years and 4 months ago 2445 main
conda 9.7 MB | linux-64/spot-2.11.1-py310hd8f1fbe_0.tar.bz2  3 years and 4 months ago 2109 main
conda 9.6 MB | linux-64/spot-2.11.1-py37hd23a5d3_0.tar.bz2  3 years and 4 months ago 2147 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.14) Legal | Privacy Policy