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 8.6 MB | linux-ppc64le/spot-2.11.4-py38hea8779e_1.conda  2 years and 7 months ago 174 main
conda 7.6 MB | linux-aarch64/spot-2.11.4-py311h13cdd7c_1.conda  2 years and 7 months ago 257 main
conda 7.8 MB | linux-aarch64/spot-2.11.4-py39h9232d20_1.conda  2 years and 7 months ago 275 main
conda 7.9 MB | linux-aarch64/spot-2.11.4-py39h87733d2_1.conda  2 years and 7 months ago 291 main
conda 8.9 MB | linux-ppc64le/spot-2.11.4-py38h66432c8_1.conda  2 years and 7 months ago 165 main
conda 9.0 MB | linux-ppc64le/spot-2.11.4-py39h0c88317_1.conda  2 years and 7 months ago 172 main
conda 9.0 MB | linux-ppc64le/spot-2.11.4-py39h5cd264c_1.conda  2 years and 7 months ago 180 main
conda 7.9 MB | linux-aarch64/spot-2.11.4-py38ha362064_1.conda  2 years and 7 months ago 268 main
conda 7.4 MB | linux-aarch64/spot-2.11.4-py38h1b487e1_1.conda  2 years and 7 months ago 276 main
conda 8.9 MB | linux-ppc64le/spot-2.11.4-py310h5933840_1.conda  2 years and 7 months ago 180 main
conda 7.5 MB | linux-aarch64/spot-2.11.4-py310hf89145f_1.conda  2 years and 7 months ago 283 main
conda 8.8 MB | linux-ppc64le/spot-2.11.4-py311had0a645_1.conda  2 years and 7 months ago 173 main
conda 6.9 MB | osx-64/spot-2.11.4-py39h811bc5e_1.conda  2 years and 7 months ago 406 main
conda 6.7 MB | osx-64/spot-2.11.4-py38h4452504_1.conda  2 years and 7 months ago 441 main
conda 6.2 MB | osx-64/spot-2.11.4-py39h7a8716b_1.conda  2 years and 7 months ago 431 main
conda 7.0 MB | osx-64/spot-2.11.4-py38h4cd09af_1.conda  2 years and 7 months ago 413 main
conda 6.5 MB | osx-64/spot-2.11.4-py310h7a76584_1.conda  2 years and 7 months ago 456 main
conda 6.2 MB | osx-64/spot-2.11.4-py311h814d153_1.conda  2 years and 7 months ago 423 main
conda 7.4 MB | linux-64/spot-2.11.4-py310heca2aa9_1.conda  2 years and 7 months ago 1931 main
conda 7.8 MB | linux-64/spot-2.11.4-py38ha7a3bcd_1.conda  2 years and 7 months ago 1889 main
conda 7.8 MB | linux-64/spot-2.11.4-py38h8dc9893_1.conda  2 years and 7 months ago 1881 main
conda 7.8 MB | linux-64/spot-2.11.4-py39he08593d_1.conda  2 years and 7 months ago 2120 main
conda 7.5 MB | linux-64/spot-2.11.4-py311hcafe171_1.conda  2 years and 7 months ago 2114 main
conda 7.4 MB | linux-64/spot-2.11.4-py39h227be39_1.conda  2 years and 7 months ago 2210 main
conda 6.6 MB | osx-64/spot-2.11.4-py310h7a76584_0.conda  2 years and 7 months ago 442 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy