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-py39h7a8716b_0.tar.bz2  3 years and 2 months ago 91 main
conda 9.5 MB | osx-64/spot-2.11.1-py37hac51a3e_0.tar.bz2  3 years and 2 months ago 99 main
conda 9.6 MB | linux-64/spot-2.11.1-py38hfa26641_0.tar.bz2  3 years and 2 months ago 1984 main
conda 9.6 MB | linux-64/spot-2.11.1-py39h0e26352_0.tar.bz2  3 years and 2 months ago 2434 main
conda 9.6 MB | linux-64/spot-2.11.1-py38ha8be2cd_0.tar.bz2  3 years and 2 months ago 1982 main
conda 9.6 MB | linux-64/spot-2.11.1-py39h5a03fae_0.tar.bz2  3 years and 2 months ago 2364 main
conda 9.7 MB | linux-64/spot-2.11.1-py310hd8f1fbe_0.tar.bz2  3 years and 2 months ago 2023 main
conda 9.6 MB | linux-64/spot-2.11.1-py37hd23a5d3_0.tar.bz2  3 years and 2 months ago 2063 main
conda 9.0 MB | osx-64/spot-2.10.6-py310h9d931ec_0.tar.bz2  3 years and 7 months ago 109 main
conda 9.1 MB | osx-64/spot-2.10.6-py39h9dae540_0.tar.bz2  3 years and 7 months ago 97 main
conda 9.1 MB | osx-64/spot-2.10.6-py38hf1f1e57_0.tar.bz2  3 years and 7 months ago 97 main
conda 9.1 MB | osx-64/spot-2.10.6-py39hfd1d529_0.tar.bz2  3 years and 7 months ago 108 main
conda 9.1 MB | osx-64/spot-2.10.6-py38h038c8f4_0.tar.bz2  3 years and 7 months ago 106 main
conda 9.0 MB | osx-64/spot-2.10.6-py37h0582d14_0.tar.bz2  3 years and 7 months ago 100 main
conda 9.2 MB | linux-64/spot-2.10.6-py38ha8be2cd_0.tar.bz2  3 years and 7 months ago 2142 main
conda 9.2 MB | linux-64/spot-2.10.6-py39h0e26352_0.tar.bz2  3 years and 7 months ago 2698 main
conda 9.1 MB | linux-64/spot-2.10.6-py310hd8f1fbe_0.tar.bz2  3 years and 7 months ago 2251 main
conda 9.2 MB | linux-64/spot-2.10.6-py39h5a03fae_0.tar.bz2  3 years and 7 months ago 2858 main
conda 9.2 MB | linux-64/spot-2.10.6-py37hd23a5d3_0.tar.bz2  3 years and 7 months ago 2248 main
conda 9.2 MB | linux-64/spot-2.10.6-py38hfa26641_0.tar.bz2  3 years and 7 months ago 2308 main
conda 9.2 MB | linux-64/spot-2.10.5-py37hd23a5d3_0.tar.bz2  3 years and 7 months ago 2185 main
conda 9.2 MB | linux-64/spot-2.10.5-py310hd8f1fbe_0.tar.bz2  3 years and 7 months ago 2181 main
conda 9.2 MB | linux-64/spot-2.10.5-py38hfa26641_0.tar.bz2  3 years and 7 months ago 2169 main
conda 9.2 MB | linux-64/spot-2.10.5-py39h5a03fae_0.tar.bz2  3 years and 7 months ago 2720 main
conda 9.2 MB | linux-64/spot-2.10.5-py39h0e26352_0.tar.bz2  3 years and 7 months ago 2762 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.13) Legal | Privacy Policy