spot
Platform for manipulation of LTL formulas and ω-automata.
| Name | Type | Version | Platform | Labels | Updated | Size | Actions |
|---|
osx-arm64/spot-2.15.1-py314h4ed92d5_0.conda | conda | 2.15.1 | macOS-arm64 | main | 13 days ago | 8.06 MB | |
osx-arm64/spot-2.15.1-py313h6deaedc_0.conda | conda | 2.15.1 | macOS-arm64 | main | 13 days ago | 8.38 MB | |
osx-arm64/spot-2.15.1-py312h6d95f44_0.conda | conda | 2.15.1 | macOS-arm64 | main | 13 days ago | 8.39 MB | |
osx-arm64/spot-2.15.1-py310h8616463_0.conda | conda | 2.15.1 | macOS-arm64 | main | 13 days ago | 8.29 MB | |
linux-64/spot-2.15.1-py314ha160325_0.conda | conda | 2.15.1 | linux-64 | main | 13 days ago | 10.46 MB | |
linux-64/spot-2.15.1-py312h1289d80_0.conda | conda | 2.15.1 | linux-64 | main | 13 days ago | 10.28 MB | |
osx-arm64/spot-2.15.1-py311h8325047_0.conda | conda | 2.15.1 | macOS-arm64 | main | 13 days ago | 8.45 MB | |
linux-64/spot-2.15.1-py311h1ddb823_0.conda | conda | 2.15.1 | linux-64 | main | 13 days ago | 10.42 MB | |
linux-64/spot-2.15.1-py313h7033f15_0.conda | conda | 2.15.1 | linux-64 | main | 13 days ago | 10.29 MB | |
linux-64/spot-2.15.1-py310hea6c23e_0.conda | conda | 2.15.1 | linux-64 | main | 13 days ago | 10.16 MB | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 | |
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 |