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  4 days and 13 hours ago 36 main
conda 9.7 MB | linux-64/spot-2.14.2-py312h1289d80_0.conda  4 days and 13 hours ago 38 main
conda 9.6 MB | linux-64/spot-2.14.2-py313h7033f15_0.conda  4 days and 13 hours ago 36 main
conda 9.7 MB | linux-64/spot-2.14.2-py314ha160325_0.conda  4 days and 13 hours ago 35 main
conda 9.8 MB | linux-64/spot-2.14.2-py310hea6c23e_0.conda  4 days and 13 hours ago 39 main
conda 7.9 MB | osx-arm64/spot-2.14.2-py310h1af2607_0.conda  4 days and 13 hours ago 16 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py312h6b01ec3_0.conda  4 days and 13 hours ago 16 main
conda 8.1 MB | osx-arm64/spot-2.14.2-py313hb4b7877_0.conda  4 days and 13 hours ago 20 main
conda 8.0 MB | osx-arm64/spot-2.14.2-py311hf719da1_0.conda  4 days and 13 hours ago 18 main
conda 7.7 MB | osx-arm64/spot-2.14.2-py314he8615de_0.conda  4 days and 13 hours ago 17 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy