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 6.9 MB | osx-arm64/spot-2.13.2-py313h928ef07_1.conda  3 months and 4 days ago 40 main
conda 7.2 MB | osx-arm64/spot-2.13.2-py310h853098b_1.conda  3 months and 4 days ago 37 main
conda 7.2 MB | osx-arm64/spot-2.13.2-py311h155a34a_1.conda  3 months and 4 days ago 38 main
conda 7.3 MB | osx-arm64/spot-2.13.2-py312hd8f9ff3_1.conda  3 months and 4 days ago 41 main
conda 7.2 MB | osx-arm64/spot-2.13.2-py39h941272d_1.conda  3 months and 4 days ago 39 main
conda 7.2 MB | osx-64/spot-2.13.2-py39hdf37715_1.conda  3 months and 5 days ago 39 main
conda 6.9 MB | osx-64/spot-2.13.2-py312haafddd8_1.conda  3 months and 5 days ago 35 main
conda 7.2 MB | osx-64/spot-2.13.2-py310h6954a95_1.conda  3 months and 5 days ago 40 main
conda 7.2 MB | osx-64/spot-2.13.2-py311hc356e98_1.conda  3 months and 5 days ago 41 main
conda 7.3 MB | osx-64/spot-2.13.2-py313h14b76d3_1.conda  3 months and 5 days ago 34 main
conda 8.3 MB | linux-64/spot-2.13.2-py310hf71b8c6_1.conda  3 months and 5 days ago 249 main
conda 8.4 MB | linux-64/spot-2.13.2-py311hfdbb021_1.conda  3 months and 5 days ago 237 main
conda 8.0 MB | linux-64/spot-2.13.2-py313h46c70d0_1.conda  3 months and 5 days ago 243 main
conda 8.7 MB | linux-64/spot-2.13.2-py39hf88036b_1.conda  3 months and 5 days ago 232 main
conda 8.6 MB | linux-64/spot-2.13.2-py312h2ec8cdc_1.conda  3 months and 5 days ago 216 main
conda 8.2 MB | linux-64/spot-2.13.2-py310hf71b8c6_0.conda  3 months and 12 days ago 229 main
conda 8.6 MB | linux-64/spot-2.13.2-py313h46c70d0_0.conda  3 months and 12 days ago 251 main
conda 8.7 MB | linux-64/spot-2.13.2-py39hf88036b_0.conda  3 months and 12 days ago 244 main
conda 8.4 MB | linux-64/spot-2.13.2-py311hfdbb021_0.conda  3 months and 12 days ago 242 main
conda 8.6 MB | linux-64/spot-2.13.2-py312h2ec8cdc_0.conda  3 months and 12 days ago 256 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy