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  5 days and 4 hours ago 38 main
conda 9.7 MB | linux-64/spot-2.14.2-py312h1289d80_0.conda  5 days and 4 hours ago 41 main
conda 9.6 MB | linux-64/spot-2.14.2-py313h7033f15_0.conda  5 days and 4 hours ago 42 main
conda 9.7 MB | linux-64/spot-2.14.2-py314ha160325_0.conda  5 days and 4 hours ago 37 main
conda 9.8 MB | linux-64/spot-2.14.2-py310hea6c23e_0.conda  5 days and 4 hours ago 42 main
conda 7.9 MB | osx-arm64/spot-2.14.2-py310h1af2607_0.conda  5 days and 4 hours ago 17 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py312h6b01ec3_0.conda  5 days and 4 hours ago 18 main
conda 8.1 MB | osx-arm64/spot-2.14.2-py313hb4b7877_0.conda  5 days and 4 hours ago 22 main
conda 8.0 MB | osx-arm64/spot-2.14.2-py311hf719da1_0.conda  5 days and 4 hours ago 20 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py314he8615de_0.conda  5 days and 5 hours ago 18 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_3.conda  25 days and 17 hours ago 106 main
conda 9.8 MB | linux-64/spot-2.14.1-py313h7033f15_3.conda  25 days and 17 hours ago 91 main
conda 9.8 MB | linux-64/spot-2.14.1-py310hea6c23e_3.conda  25 days and 17 hours ago 88 main
conda 9.5 MB | linux-64/spot-2.14.1-py312h1289d80_3.conda  25 days and 17 hours ago 86 main
conda 9.7 MB | linux-64/spot-2.14.1-py314ha160325_3.conda  25 days and 17 hours ago 89 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py311hf719da1_3.conda  25 days and 17 hours ago 29 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py313hb4b7877_3.conda  25 days and 17 hours ago 27 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py310h1af2607_3.conda  25 days and 17 hours ago 27 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py312h6b01ec3_3.conda  25 days and 17 hours ago 28 main
conda 8.0 MB | osx-arm64/spot-2.14.1-py314he8615de_3.conda  25 days and 18 hours ago 24 main
conda 9.7 MB | linux-64/spot-2.14.1-py313h7033f15_2.conda  25 days and 18 hours ago 88 main
conda 9.7 MB | linux-64/spot-2.14.1-py310hea6c23e_2.conda  25 days and 18 hours ago 85 main
conda 9.4 MB | linux-64/spot-2.14.1-py314ha160325_2.conda  25 days and 18 hours ago 88 main
conda 9.8 MB | linux-64/spot-2.14.1-py312h1289d80_2.conda  25 days and 18 hours ago 80 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_2.conda  25 days and 18 hours ago 83 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy