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 | linux-64/spot-2.14.2-py311h1ddb823_0.conda  11 days and 6 hours ago 55 main
conda 9.7 MB | linux-64/spot-2.14.2-py312h1289d80_0.conda  11 days and 6 hours ago 60 main
conda 9.6 MB | linux-64/spot-2.14.2-py313h7033f15_0.conda  11 days and 6 hours ago 58 main
conda 9.7 MB | linux-64/spot-2.14.2-py314ha160325_0.conda  11 days and 6 hours ago 53 main
conda 9.8 MB | linux-64/spot-2.14.2-py310hea6c23e_0.conda  11 days and 6 hours ago 54 main
conda 7.9 MB | osx-arm64/spot-2.14.2-py310h1af2607_0.conda  11 days and 6 hours ago 21 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py312h6b01ec3_0.conda  11 days and 7 hours ago 21 main
conda 8.1 MB | osx-arm64/spot-2.14.2-py313hb4b7877_0.conda  11 days and 7 hours ago 24 main
conda 8.0 MB | osx-arm64/spot-2.14.2-py311hf719da1_0.conda  11 days and 7 hours ago 22 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py314he8615de_0.conda  11 days and 7 hours ago 21 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_3.conda  1 month and 19 hours ago 117 main
conda 9.8 MB | linux-64/spot-2.14.1-py313h7033f15_3.conda  1 month and 19 hours ago 105 main
conda 9.8 MB | linux-64/spot-2.14.1-py310hea6c23e_3.conda  1 month and 19 hours ago 104 main
conda 9.5 MB | linux-64/spot-2.14.1-py312h1289d80_3.conda  1 month and 19 hours ago 100 main
conda 9.7 MB | linux-64/spot-2.14.1-py314ha160325_3.conda  1 month and 19 hours ago 102 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py311hf719da1_3.conda  1 month and 20 hours ago 30 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py313hb4b7877_3.conda  1 month and 20 hours ago 28 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py310h1af2607_3.conda  1 month and 20 hours ago 28 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py312h6b01ec3_3.conda  1 month and 20 hours ago 29 main
conda 8.0 MB | osx-arm64/spot-2.14.1-py314he8615de_3.conda  1 month and 20 hours ago 27 main
conda 9.7 MB | linux-64/spot-2.14.1-py313h7033f15_2.conda  1 month and 20 hours ago 100 main
conda 9.7 MB | linux-64/spot-2.14.1-py310hea6c23e_2.conda  1 month and 20 hours ago 99 main
conda 9.4 MB | linux-64/spot-2.14.1-py314ha160325_2.conda  1 month and 20 hours ago 102 main
conda 9.8 MB | linux-64/spot-2.14.1-py312h1289d80_2.conda  1 month and 20 hours ago 93 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_2.conda  1 month and 20 hours ago 95 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy