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. ×
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 8.1 MB | osx-arm64/spot-2.15.1-py314h4ed92d5_0.conda  4 days and 3 hours ago 15 main
conda 8.4 MB | osx-arm64/spot-2.15.1-py313h6deaedc_0.conda  4 days and 4 hours ago 19 main
conda 8.4 MB | osx-arm64/spot-2.15.1-py312h6d95f44_0.conda  4 days and 4 hours ago 19 main
conda 8.3 MB | osx-arm64/spot-2.15.1-py310h8616463_0.conda  4 days and 4 hours ago 16 main
conda 10.5 MB | linux-64/spot-2.15.1-py314ha160325_0.conda  4 days and 4 hours ago 52 main
conda 10.3 MB | linux-64/spot-2.15.1-py312h1289d80_0.conda  4 days and 4 hours ago 48 main
conda 8.4 MB | osx-arm64/spot-2.15.1-py311h8325047_0.conda  4 days and 4 hours ago 19 main
conda 10.4 MB | linux-64/spot-2.15.1-py311h1ddb823_0.conda  4 days and 4 hours ago 55 main
conda 10.3 MB | linux-64/spot-2.15.1-py313h7033f15_0.conda  4 days and 4 hours ago 42 main
conda 10.2 MB | linux-64/spot-2.15.1-py310hea6c23e_0.conda  4 days and 4 hours ago 55 main
conda 8.1 MB | osx-arm64/spot-2.14.5-py314h4ed92d5_0.conda  3 months and 17 days ago 39 main
conda 8.1 MB | osx-arm64/spot-2.14.5-py311h8325047_0.conda  3 months and 17 days ago 50 main
conda 8.1 MB | osx-arm64/spot-2.14.5-py310h8616463_0.conda  3 months and 17 days ago 46 main
conda 9.5 MB | linux-64/spot-2.14.5-py314ha160325_0.conda  3 months and 17 days ago 279 main
conda 7.9 MB | osx-arm64/spot-2.14.5-py313h6deaedc_0.conda  3 months and 17 days ago 47 main
conda 9.6 MB | linux-64/spot-2.14.5-py312h1289d80_0.conda  3 months and 17 days ago 302 main
conda 9.6 MB | linux-64/spot-2.14.5-py311h1ddb823_0.conda  3 months and 17 days ago 304 main
conda 9.7 MB | linux-64/spot-2.14.5-py310hea6c23e_0.conda  3 months and 17 days ago 335 main
conda 9.8 MB | linux-64/spot-2.14.5-py313h7033f15_0.conda  3 months and 17 days ago 301 main
conda 8.0 MB | osx-arm64/spot-2.14.5-py312h6d95f44_0.conda  3 months and 17 days ago 46 main
conda 9.8 MB | linux-64/spot-2.14.4-py310hea6c23e_0.conda  4 months and 12 days ago 306 main
conda 7.7 MB | osx-arm64/spot-2.14.4-py312h455b684_0.conda  4 months and 12 days ago 42 main
conda 9.7 MB | linux-64/spot-2.14.4-py311h1ddb823_0.conda  4 months and 12 days ago 309 main
conda 9.6 MB | linux-64/spot-2.14.4-py313h7033f15_0.conda  4 months and 12 days ago 322 main
conda 9.8 MB | linux-64/spot-2.14.4-py312h1289d80_0.conda  4 months and 12 days ago 315 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.17) Legal | Privacy Policy