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.7 MB | linux-64/spot-2.14.1-py311h1ddb823_3.conda  1 day and 23 hours ago 28 main
conda 9.8 MB | linux-64/spot-2.14.1-py313h7033f15_3.conda  1 day and 23 hours ago 28 main
conda 9.8 MB | linux-64/spot-2.14.1-py310hea6c23e_3.conda  1 day and 23 hours ago 25 main
conda 9.5 MB | linux-64/spot-2.14.1-py312h1289d80_3.conda  1 day and 23 hours ago 25 main
conda 9.7 MB | linux-64/spot-2.14.1-py314ha160325_3.conda  1 day and 23 hours ago 28 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py311hf719da1_3.conda  1 day and 23 hours ago 10 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py313hb4b7877_3.conda  1 day and 23 hours ago 13 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py310h1af2607_3.conda  1 day and 23 hours ago 13 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py312h6b01ec3_3.conda  1 day and 23 hours ago 11 main
conda 8.0 MB | osx-arm64/spot-2.14.1-py314he8615de_3.conda  1 day and 23 hours ago 12 main
conda 9.7 MB | linux-64/spot-2.14.1-py313h7033f15_2.conda  1 day and 23 hours ago 26 main
conda 9.7 MB | linux-64/spot-2.14.1-py310hea6c23e_2.conda  1 day and 23 hours ago 25 main
conda 9.4 MB | linux-64/spot-2.14.1-py314ha160325_2.conda  2 days and 1 minute ago 31 main
conda 9.8 MB | linux-64/spot-2.14.1-py312h1289d80_2.conda  2 days and 1 minute ago 26 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_2.conda  2 days and 1 minute ago 25 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py311hf719da1_2.conda  2 days and 7 minutes ago 11 main
conda 8.0 MB | osx-arm64/spot-2.14.1-py312h6b01ec3_2.conda  2 days and 12 minutes ago 13 main
conda 7.7 MB | osx-arm64/spot-2.14.1-py313hb4b7877_2.conda  2 days and 14 minutes ago 12 main
conda 7.6 MB | osx-arm64/spot-2.14.1-py310h1af2607_2.conda  2 days and 17 minutes ago 12 main
conda 8.0 MB | osx-arm64/spot-2.14.1-py314he8615de_2.conda  2 days and 18 minutes ago 12 main
conda 9.1 MB | linux-64/spot-2.14.1-py313h46c70d0_1.conda  1 month and 9 days ago 124 main
conda 9.3 MB | linux-64/spot-2.14.1-py39hf88036b_1.conda  1 month and 9 days ago 108 main
conda 9.3 MB | linux-64/spot-2.14.1-py312h2ec8cdc_1.conda  1 month and 9 days ago 118 main
conda 9.5 MB | linux-64/spot-2.14.1-py310hf71b8c6_1.conda  1 month and 9 days ago 100 main
conda 9.2 MB | linux-64/spot-2.14.1-py311hfdbb021_1.conda  1 month and 9 days ago 113 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.1) Legal | Privacy Policy