spot
Platform for manipulation of LTL formulas and ω-automata.
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
linux-64/spot-2.14.4-py310hea6c23e_0.conda | conda | 2.14.4 | linux-64 | main | 6 days ago | 9.77 MB | 39 | |
osx-arm64/spot-2.14.4-py312h455b684_0.conda | conda | 2.14.4 | osx-arm64 | main | 6 days ago | 7.75 MB | 18 | |
linux-64/spot-2.14.4-py311h1ddb823_0.conda | conda | 2.14.4 | linux-64 | main | 6 days ago | 9.74 MB | 41 | |
linux-64/spot-2.14.4-py313h7033f15_0.conda | conda | 2.14.4 | linux-64 | main | 6 days ago | 9.57 MB | 44 | |
linux-64/spot-2.14.4-py312h1289d80_0.conda | conda | 2.14.4 | linux-64 | main | 6 days ago | 9.83 MB | 45 | |
osx-arm64/spot-2.14.4-py314h93ecee7_0.conda | conda | 2.14.4 | osx-arm64 | main | 6 days ago | 7.48 MB | 17 | |
linux-64/spot-2.14.4-py314ha160325_0.conda | conda | 2.14.4 | linux-64 | main | 6 days ago | 9.58 MB | 40 | |
osx-arm64/spot-2.14.4-py310hc7786af_0.conda | conda | 2.14.4 | osx-arm64 | main | 6 days ago | 7.57 MB | 19 | |
osx-arm64/spot-2.14.4-py313h0e822ff_0.conda | conda | 2.14.4 | osx-arm64 | main | 6 days ago | 8.14 MB | 16 | |
osx-arm64/spot-2.14.4-py311h251fd82_0.conda | conda | 2.14.4 | osx-arm64 | main | 6 days ago | 8 MB | 19 | |
linux-64/spot-2.14.3-py313h7033f15_0.conda | conda | 2.14.3 | linux-64 | main | Nov 11, 2025, 11:46 PM | 9.69 MB | 148 | |
linux-64/spot-2.14.3-py311h1ddb823_0.conda | conda | 2.14.3 | linux-64 | main | Nov 11, 2025, 09:19 PM | 9.82 MB | 138 | |
linux-64/spot-2.14.3-py310hea6c23e_0.conda | conda | 2.14.3 | linux-64 | main | Nov 11, 2025, 09:18 PM | 9.56 MB | 162 | |
linux-64/spot-2.14.3-py314ha160325_0.conda | conda | 2.14.3 | linux-64 | main | Nov 11, 2025, 09:17 PM | 9.79 MB | 163 | |
linux-64/spot-2.14.3-py312h1289d80_0.conda | conda | 2.14.3 | linux-64 | main | Nov 11, 2025, 09:15 PM | 9.67 MB | 145 | |
linux-64/spot-2.14.2-py311h1ddb823_0.conda | conda | 2.14.2 | linux-64 | main | Sep 18, 2025, 10:27 PM | 9.38 MB | 305 | |
linux-64/spot-2.14.2-py312h1289d80_0.conda | conda | 2.14.2 | linux-64 | main | Sep 18, 2025, 10:22 PM | 9.66 MB | 304 | |
linux-64/spot-2.14.2-py313h7033f15_0.conda | conda | 2.14.2 | linux-64 | main | Sep 18, 2025, 10:19 PM | 9.64 MB | 301 | |
linux-64/spot-2.14.2-py314ha160325_0.conda | conda | 2.14.2 | linux-64 | main | Sep 18, 2025, 10:18 PM | 9.73 MB | 294 | |
linux-64/spot-2.14.2-py310hea6c23e_0.conda | conda | 2.14.2 | linux-64 | main | Sep 18, 2025, 10:18 PM | 9.77 MB | 295 | |
osx-arm64/spot-2.14.2-py310h1af2607_0.conda | conda | 2.14.2 | osx-arm64 | main | Sep 18, 2025, 10:09 PM | 7.86 MB | 56 | |
osx-arm64/spot-2.14.2-py312h6b01ec3_0.conda | conda | 2.14.2 | osx-arm64 | main | Sep 18, 2025, 10:06 PM | 7.66 MB | 55 | |
osx-arm64/spot-2.14.2-py313hb4b7877_0.conda | conda | 2.14.2 | osx-arm64 | main | Sep 18, 2025, 10:03 PM | 8.07 MB | 60 | |
osx-arm64/spot-2.14.2-py311hf719da1_0.conda | conda | 2.14.2 | osx-arm64 | main | Sep 18, 2025, 10:01 PM | 7.99 MB | 57 | |
osx-arm64/spot-2.14.2-py314he8615de_0.conda | conda | 2.14.2 | osx-arm64 | main | Sep 18, 2025, 09:57 PM | 7.71 MB | 56 |