About Anaconda Help Download Anaconda

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot
Type Size Name Uploaded Downloads Labels
conda 7.4 MB | linux-aarch64/spot-2.11.4-py38h1b487e1_1.conda  2 years and 1 month ago 266 main
conda 8.9 MB | linux-ppc64le/spot-2.11.4-py310h5933840_1.conda  2 years and 1 month ago 174 main
conda 7.5 MB | linux-aarch64/spot-2.11.4-py310hf89145f_1.conda  2 years and 1 month ago 274 main
conda 8.8 MB | linux-ppc64le/spot-2.11.4-py311had0a645_1.conda  2 years and 1 month ago 165 main
conda 6.9 MB | osx-64/spot-2.11.4-py39h811bc5e_1.conda  2 years and 1 month ago 400 main
conda 6.7 MB | osx-64/spot-2.11.4-py38h4452504_1.conda  2 years and 1 month ago 435 main
conda 6.2 MB | osx-64/spot-2.11.4-py39h7a8716b_1.conda  2 years and 1 month ago 424 main
conda 7.0 MB | osx-64/spot-2.11.4-py38h4cd09af_1.conda  2 years and 1 month ago 405 main
conda 6.5 MB | osx-64/spot-2.11.4-py310h7a76584_1.conda  2 years and 1 month ago 450 main
conda 6.2 MB | osx-64/spot-2.11.4-py311h814d153_1.conda  2 years and 1 month ago 417 main
conda 7.4 MB | linux-64/spot-2.11.4-py310heca2aa9_1.conda  2 years and 1 month ago 1550 main
conda 7.8 MB | linux-64/spot-2.11.4-py38ha7a3bcd_1.conda  2 years and 1 month ago 1515 main
conda 7.8 MB | linux-64/spot-2.11.4-py38h8dc9893_1.conda  2 years and 1 month ago 1521 main
conda 7.8 MB | linux-64/spot-2.11.4-py39he08593d_1.conda  2 years and 1 month ago 1753 main
conda 7.5 MB | linux-64/spot-2.11.4-py311hcafe171_1.conda  2 years and 1 month ago 1737 main
conda 7.4 MB | linux-64/spot-2.11.4-py39h227be39_1.conda  2 years and 1 month ago 1835 main
conda 6.6 MB | osx-64/spot-2.11.4-py310h7a76584_0.conda  2 years and 1 month ago 436 main
conda 6.9 MB | osx-64/spot-2.11.4-py38h4cd09af_0.conda  2 years and 1 month ago 413 main
conda 6.4 MB | osx-64/spot-2.11.4-py38h4452504_0.conda  2 years and 1 month ago 440 main
conda 6.9 MB | osx-64/spot-2.11.4-py39h7a8716b_0.conda  2 years and 1 month ago 426 main
conda 7.1 MB | osx-64/spot-2.11.4-py311h814d153_0.conda  2 years and 1 month ago 432 main
conda 7.0 MB | osx-64/spot-2.11.4-py39h811bc5e_0.conda  2 years and 1 month ago 399 main
conda 7.9 MB | linux-64/spot-2.11.4-py39he08593d_0.conda  2 years and 1 month ago 1758 main
conda 7.8 MB | linux-64/spot-2.11.4-py311hcafe171_0.conda  2 years and 1 month ago 1494 main
conda 7.8 MB | linux-64/spot-2.11.4-py38ha7a3bcd_0.conda  2 years and 1 month ago 1496 main
conda 7.9 MB | linux-64/spot-2.11.4-py38h8dc9893_0.conda  2 years and 1 month ago 1435 main
conda 7.5 MB | linux-64/spot-2.11.4-py310heca2aa9_0.conda  2 years and 1 month ago 1492 main
conda 7.1 MB | linux-64/spot-2.11.4-py39h227be39_0.conda  2 years and 1 month ago 1775 main
conda 6.9 MB | osx-64/spot-2.11.3-py311h814d153_0.conda  2 years and 3 months ago 449 main
conda 6.8 MB | osx-64/spot-2.11.3-py39h811bc5e_0.conda  2 years and 3 months ago 423 main
conda 6.8 MB | osx-64/spot-2.11.3-py310h7a76584_0.conda  2 years and 3 months ago 437 main
conda 6.9 MB | osx-64/spot-2.11.3-py38h4452504_0.conda  2 years and 3 months ago 425 main
conda 6.8 MB | osx-64/spot-2.11.3-py39h7a8716b_0.conda  2 years and 3 months ago 464 main
conda 6.9 MB | osx-64/spot-2.11.3-py38h4cd09af_0.conda  2 years and 3 months ago 413 main
conda 7.7 MB | linux-64/spot-2.11.3-py310heca2aa9_0.conda  2 years and 3 months ago 1497 main
conda 7.5 MB | linux-64/spot-2.11.3-py39h227be39_0.conda  2 years and 3 months ago 1871 main
conda 7.2 MB | linux-64/spot-2.11.3-py39he08593d_0.conda  2 years and 3 months ago 1880 main
conda 7.5 MB | linux-64/spot-2.11.3-py38h8dc9893_0.conda  2 years and 3 months ago 1541 main
conda 7.6 MB | linux-64/spot-2.11.3-py311hcafe171_0.conda  2 years and 3 months ago 1545 main
conda 7.8 MB | linux-64/spot-2.11.3-py38ha7a3bcd_0.conda  2 years and 3 months ago 1500 main
conda 9.5 MB | osx-64/spot-2.11.2-py38h4452504_1.tar.bz2  2 years and 5 months ago 78 main
conda 9.5 MB | osx-64/spot-2.11.2-py310h7a76584_1.tar.bz2  2 years and 5 months ago 75 main
conda 9.5 MB | osx-64/spot-2.11.2-py39h811bc5e_1.tar.bz2  2 years and 5 months ago 74 main
conda 9.5 MB | osx-64/spot-2.11.2-py39h7a8716b_1.tar.bz2  2 years and 5 months ago 79 main
conda 9.6 MB | osx-64/spot-2.11.2-py38h4cd09af_1.tar.bz2  2 years and 5 months ago 75 main
conda 9.5 MB | osx-64/spot-2.11.2-py311h814d153_1.tar.bz2  2 years and 5 months ago 72 main
conda 9.7 MB | linux-64/spot-2.11.2-py38hfa26641_1.tar.bz2  2 years and 5 months ago 1413 main
conda 9.7 MB | linux-64/spot-2.11.2-py311ha362b79_1.tar.bz2  2 years and 5 months ago 1408 main
conda 9.7 MB | linux-64/spot-2.11.2-py39h5a03fae_1.tar.bz2  2 years and 5 months ago 1813 main
conda 9.7 MB | linux-64/spot-2.11.2-py39h0e26352_1.tar.bz2  2 years and 5 months ago 1803 main

© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.9) Legal | Privacy Policy