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  7 days and 18 hours ago 45 main
conda 9.7 MB | linux-64/spot-2.14.2-py312h1289d80_0.conda  7 days and 18 hours ago 47 main
conda 9.6 MB | linux-64/spot-2.14.2-py313h7033f15_0.conda  7 days and 18 hours ago 48 main
conda 9.7 MB | linux-64/spot-2.14.2-py314ha160325_0.conda  7 days and 18 hours ago 42 main
conda 9.8 MB | linux-64/spot-2.14.2-py310hea6c23e_0.conda  7 days and 18 hours ago 46 main
conda 7.9 MB | osx-arm64/spot-2.14.2-py310h1af2607_0.conda  7 days and 18 hours ago 20 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py312h6b01ec3_0.conda  7 days and 18 hours ago 20 main
conda 8.1 MB | osx-arm64/spot-2.14.2-py313hb4b7877_0.conda  7 days and 18 hours ago 23 main
conda 8.0 MB | osx-arm64/spot-2.14.2-py311hf719da1_0.conda  7 days and 18 hours ago 21 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py314he8615de_0.conda  7 days and 18 hours ago 20 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_3.conda  28 days and 7 hours ago 110 main
conda 9.8 MB | linux-64/spot-2.14.1-py313h7033f15_3.conda  28 days and 7 hours ago 97 main
conda 9.8 MB | linux-64/spot-2.14.1-py310hea6c23e_3.conda  28 days and 7 hours ago 94 main
conda 9.5 MB | linux-64/spot-2.14.1-py312h1289d80_3.conda  28 days and 7 hours ago 91 main
conda 9.7 MB | linux-64/spot-2.14.1-py314ha160325_3.conda  28 days and 7 hours ago 93 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py311hf719da1_3.conda  28 days and 7 hours ago 29 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py313hb4b7877_3.conda  28 days and 7 hours ago 27 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py310h1af2607_3.conda  28 days and 7 hours ago 27 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py312h6b01ec3_3.conda  28 days and 7 hours ago 28 main
conda 8.0 MB | osx-arm64/spot-2.14.1-py314he8615de_3.conda  28 days and 7 hours ago 26 main
conda 9.7 MB | linux-64/spot-2.14.1-py313h7033f15_2.conda  28 days and 7 hours ago 93 main
conda 9.7 MB | linux-64/spot-2.14.1-py310hea6c23e_2.conda  28 days and 7 hours ago 90 main
conda 9.4 MB | linux-64/spot-2.14.1-py314ha160325_2.conda  28 days and 7 hours ago 93 main
conda 9.8 MB | linux-64/spot-2.14.1-py312h1289d80_2.conda  28 days and 7 hours ago 84 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_2.conda  28 days and 7 hours ago 88 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy