About Anaconda Help Download Anaconda
Sign In
Anaconda.com
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

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  21 days and 37 minutes ago 96 main
conda 9.7 MB | linux-64/spot-2.14.2-py312h1289d80_0.conda  21 days and 42 minutes ago 96 main
conda 9.6 MB | linux-64/spot-2.14.2-py313h7033f15_0.conda  21 days and 45 minutes ago 97 main
conda 9.7 MB | linux-64/spot-2.14.2-py314ha160325_0.conda  21 days and 46 minutes ago 89 main
conda 9.8 MB | linux-64/spot-2.14.2-py310hea6c23e_0.conda  21 days and 46 minutes ago 98 main
conda 7.9 MB | osx-arm64/spot-2.14.2-py310h1af2607_0.conda  21 days and 55 minutes ago 25 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py312h6b01ec3_0.conda  21 days and 58 minutes ago 25 main
conda 8.1 MB | osx-arm64/spot-2.14.2-py313hb4b7877_0.conda  21 days and 1 hour ago 28 main
conda 8.0 MB | osx-arm64/spot-2.14.2-py311hf719da1_0.conda  21 days and 1 hour ago 25 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py314he8615de_0.conda  21 days and 1 hour ago 25 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_3.conda  1 month and 10 days ago 147 main
conda 9.8 MB | linux-64/spot-2.14.1-py313h7033f15_3.conda  1 month and 10 days ago 141 main
conda 9.8 MB | linux-64/spot-2.14.1-py310hea6c23e_3.conda  1 month and 10 days ago 135 main
conda 9.5 MB | linux-64/spot-2.14.1-py312h1289d80_3.conda  1 month and 10 days ago 135 main
conda 9.7 MB | linux-64/spot-2.14.1-py314ha160325_3.conda  1 month and 10 days ago 140 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py311hf719da1_3.conda  1 month and 10 days ago 33 main
conda 7.8 MB | osx-arm64/spot-2.14.1-py313hb4b7877_3.conda  1 month and 10 days ago 31 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py310h1af2607_3.conda  1 month and 10 days ago 31 main
conda 7.9 MB | osx-arm64/spot-2.14.1-py312h6b01ec3_3.conda  1 month and 10 days ago 32 main
conda 8.0 MB | osx-arm64/spot-2.14.1-py314he8615de_3.conda  1 month and 10 days ago 30 main
conda 9.7 MB | linux-64/spot-2.14.1-py313h7033f15_2.conda  1 month and 10 days ago 134 main
conda 9.7 MB | linux-64/spot-2.14.1-py310hea6c23e_2.conda  1 month and 10 days ago 122 main
conda 9.4 MB | linux-64/spot-2.14.1-py314ha160325_2.conda  1 month and 10 days ago 142 main
conda 9.8 MB | linux-64/spot-2.14.1-py312h1289d80_2.conda  1 month and 10 days ago 127 main
conda 9.7 MB | linux-64/spot-2.14.1-py311h1ddb823_2.conda  1 month and 10 days ago 130 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy