spot
Platform for manipulation of LTL formulas and ω-automata.
Platform for manipulation of LTL formulas and ω-automata.
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
osx-arm64/spot-2.15.1-py314h4ed92d5_0.conda | conda | 2.15.1 | macOS-arm64 | main | 3 days ago | 8.06 MB | 15 | |
osx-arm64/spot-2.15.1-py313h6deaedc_0.conda | conda | 2.15.1 | macOS-arm64 | main | 3 days ago | 8.38 MB | 18 | |
osx-arm64/spot-2.15.1-py312h6d95f44_0.conda | conda | 2.15.1 | macOS-arm64 | main | 3 days ago | 8.39 MB | 18 | |
osx-arm64/spot-2.15.1-py310h8616463_0.conda | conda | 2.15.1 | macOS-arm64 | main | 3 days ago | 8.29 MB | 15 | |
linux-64/spot-2.15.1-py314ha160325_0.conda | conda | 2.15.1 | linux-64 | main | 3 days ago | 10.46 MB | 48 | |
linux-64/spot-2.15.1-py312h1289d80_0.conda | conda | 2.15.1 | linux-64 | main | 3 days ago | 10.28 MB | 46 | |
osx-arm64/spot-2.15.1-py311h8325047_0.conda | conda | 2.15.1 | macOS-arm64 | main | 3 days ago | 8.45 MB | 18 | |
linux-64/spot-2.15.1-py311h1ddb823_0.conda | conda | 2.15.1 | linux-64 | main | 3 days ago | 10.42 MB | 52 | |
linux-64/spot-2.15.1-py313h7033f15_0.conda | conda | 2.15.1 | linux-64 | main | 3 days ago | 10.29 MB | 40 | |
linux-64/spot-2.15.1-py310hea6c23e_0.conda | conda | 2.15.1 | linux-64 | main | 3 days ago | 10.16 MB | 51 | |
osx-arm64/spot-2.14.5-py314h4ed92d5_0.conda | conda | 2.14.5 | macOS-arm64 | main | Jan 12, 2026, 04:49 PM | 8.05 MB | 39 | |
osx-arm64/spot-2.14.5-py311h8325047_0.conda | conda | 2.14.5 | macOS-arm64 | main | Jan 12, 2026, 04:45 PM | 8.1 MB | 50 | |
osx-arm64/spot-2.14.5-py310h8616463_0.conda | conda | 2.14.5 | macOS-arm64 | main | Jan 12, 2026, 04:45 PM | 8.14 MB | 46 | |
linux-64/spot-2.14.5-py314ha160325_0.conda | conda | 2.14.5 | linux-64 | main | Jan 12, 2026, 04:45 PM | 9.47 MB | 276 | |
osx-arm64/spot-2.14.5-py313h6deaedc_0.conda | conda | 2.14.5 | macOS-arm64 | main | Jan 12, 2026, 04:44 PM | 7.94 MB | 47 | |
linux-64/spot-2.14.5-py312h1289d80_0.conda | conda | 2.14.5 | linux-64 | main | Jan 12, 2026, 04:44 PM | 9.64 MB | 299 | |
linux-64/spot-2.14.5-py311h1ddb823_0.conda | conda | 2.14.5 | linux-64 | main | Jan 12, 2026, 04:43 PM | 9.6 MB | 301 | |
linux-64/spot-2.14.5-py310hea6c23e_0.conda | conda | 2.14.5 | linux-64 | main | Jan 12, 2026, 04:43 PM | 9.7 MB | 332 | |
linux-64/spot-2.14.5-py313h7033f15_0.conda | conda | 2.14.5 | linux-64 | main | Jan 12, 2026, 04:42 PM | 9.83 MB | 298 | |
osx-arm64/spot-2.14.5-py312h6d95f44_0.conda | conda | 2.14.5 | macOS-arm64 | main | Jan 12, 2026, 04:39 PM | 8.02 MB | 46 | |
linux-64/spot-2.14.4-py310hea6c23e_0.conda | conda | 2.14.4 | linux-64 | main | Dec 18, 2025, 08:41 AM | 9.77 MB | 302 | |
osx-arm64/spot-2.14.4-py312h455b684_0.conda | conda | 2.14.4 | macOS-arm64 | main | Dec 18, 2025, 08:35 AM | 7.75 MB | 42 | |
linux-64/spot-2.14.4-py311h1ddb823_0.conda | conda | 2.14.4 | linux-64 | main | Dec 18, 2025, 08:35 AM | 9.74 MB | 307 | |
linux-64/spot-2.14.4-py313h7033f15_0.conda | conda | 2.14.4 | linux-64 | main | Dec 18, 2025, 08:34 AM | 9.57 MB | 318 | |
linux-64/spot-2.14.4-py312h1289d80_0.conda | conda | 2.14.4 | linux-64 | main | Dec 18, 2025, 08:34 AM | 9.83 MB | 312 |