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 8.1 MB | osx-arm64/spot-2.15.1-py314h4ed92d5_0.conda  2 months and 12 days ago 33 main
conda 8.4 MB | osx-arm64/spot-2.15.1-py313h6deaedc_0.conda  2 months and 12 days ago 34 main
conda 8.4 MB | osx-arm64/spot-2.15.1-py312h6d95f44_0.conda  2 months and 12 days ago 36 main
conda 8.3 MB | osx-arm64/spot-2.15.1-py310h8616463_0.conda  2 months and 12 days ago 34 main
conda 10.5 MB | linux-64/spot-2.15.1-py314ha160325_0.conda  2 months and 12 days ago 287 main
conda 10.3 MB | linux-64/spot-2.15.1-py312h1289d80_0.conda  2 months and 12 days ago 330 main
conda 8.4 MB | osx-arm64/spot-2.15.1-py311h8325047_0.conda  2 months and 12 days ago 36 main
conda 10.4 MB | linux-64/spot-2.15.1-py311h1ddb823_0.conda  2 months and 12 days ago 290 main
conda 10.3 MB | linux-64/spot-2.15.1-py313h7033f15_0.conda  2 months and 12 days ago 291 main
conda 10.2 MB | linux-64/spot-2.15.1-py310hea6c23e_0.conda  2 months and 12 days ago 437 main
conda 8.1 MB | osx-arm64/spot-2.14.5-py314h4ed92d5_0.conda  5 months and 26 days ago 46 main
conda 8.1 MB | osx-arm64/spot-2.14.5-py311h8325047_0.conda  5 months and 26 days ago 59 main
conda 8.1 MB | osx-arm64/spot-2.14.5-py310h8616463_0.conda  5 months and 26 days ago 54 main
conda 9.5 MB | linux-64/spot-2.14.5-py314ha160325_0.conda  5 months and 26 days ago 459 main
conda 7.9 MB | osx-arm64/spot-2.14.5-py313h6deaedc_0.conda  5 months and 26 days ago 52 main
conda 9.6 MB | linux-64/spot-2.14.5-py312h1289d80_0.conda  5 months and 26 days ago 508 main
conda 9.6 MB | linux-64/spot-2.14.5-py311h1ddb823_0.conda  5 months and 26 days ago 487 main
conda 9.7 MB | linux-64/spot-2.14.5-py310hea6c23e_0.conda  5 months and 26 days ago 510 main
conda 9.8 MB | linux-64/spot-2.14.5-py313h7033f15_0.conda  5 months and 26 days ago 477 main
conda 8.0 MB | osx-arm64/spot-2.14.5-py312h6d95f44_0.conda  5 months and 26 days ago 53 main
conda 9.8 MB | linux-64/spot-2.14.4-py310hea6c23e_0.conda  6 months and 20 days ago 483 main
conda 7.7 MB | osx-arm64/spot-2.14.4-py312h455b684_0.conda  6 months and 20 days ago 51 main
conda 9.7 MB | linux-64/spot-2.14.4-py311h1ddb823_0.conda  6 months and 20 days ago 482 main
conda 9.6 MB | linux-64/spot-2.14.4-py313h7033f15_0.conda  6 months and 20 days ago 493 main
conda 9.8 MB | linux-64/spot-2.14.4-py312h1289d80_0.conda  6 months and 20 days ago 493 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.23) Legal | Privacy Policy