spot
Platform for manipulation of LTL formulas and ω-automata.
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
osx-arm64/spot-2.14.5-py314h4ed92d5_0.conda | conda | 2.14.5 | osx-arm64 | main | 10 days ago | 8.05 MB | 23 | |
osx-arm64/spot-2.14.5-py311h8325047_0.conda | conda | 2.14.5 | osx-arm64 | main | 10 days ago | 8.1 MB | 22 | |
osx-arm64/spot-2.14.5-py310h8616463_0.conda | conda | 2.14.5 | osx-arm64 | main | 10 days ago | 8.14 MB | 22 | |
linux-64/spot-2.14.5-py314ha160325_0.conda | conda | 2.14.5 | linux-64 | main | 10 days ago | 9.47 MB | 57 | |
osx-arm64/spot-2.14.5-py313h6deaedc_0.conda | conda | 2.14.5 | osx-arm64 | main | 10 days ago | 7.94 MB | 24 | |
linux-64/spot-2.14.5-py312h1289d80_0.conda | conda | 2.14.5 | linux-64 | main | 10 days ago | 9.64 MB | 60 | |
linux-64/spot-2.14.5-py311h1ddb823_0.conda | conda | 2.14.5 | linux-64 | main | 10 days ago | 9.6 MB | 57 | |
linux-64/spot-2.14.5-py310hea6c23e_0.conda | conda | 2.14.5 | linux-64 | main | 10 days ago | 9.7 MB | 62 | |
linux-64/spot-2.14.5-py313h7033f15_0.conda | conda | 2.14.5 | linux-64 | main | 10 days ago | 9.83 MB | 52 | |
osx-arm64/spot-2.14.5-py312h6d95f44_0.conda | conda | 2.14.5 | osx-arm64 | main | 10 days ago | 8.02 MB | 21 | |
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 | 113 | |
osx-arm64/spot-2.14.4-py312h455b684_0.conda | conda | 2.14.4 | osx-arm64 | main | Dec 18, 2025, 08:35 AM | 7.75 MB | 28 | |
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 | 113 | |
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 | 117 | |
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 | 119 | |
osx-arm64/spot-2.14.4-py314h93ecee7_0.conda | conda | 2.14.4 | osx-arm64 | main | Dec 18, 2025, 08:33 AM | 7.48 MB | 28 | |
linux-64/spot-2.14.4-py314ha160325_0.conda | conda | 2.14.4 | linux-64 | main | Dec 18, 2025, 08:33 AM | 9.58 MB | 104 | |
osx-arm64/spot-2.14.4-py310hc7786af_0.conda | conda | 2.14.4 | osx-arm64 | main | Dec 18, 2025, 08:32 AM | 7.57 MB | 30 | |
osx-arm64/spot-2.14.4-py313h0e822ff_0.conda | conda | 2.14.4 | osx-arm64 | main | Dec 18, 2025, 08:17 AM | 8.14 MB | 27 | |
osx-arm64/spot-2.14.4-py311h251fd82_0.conda | conda | 2.14.4 | osx-arm64 | main | Dec 18, 2025, 08:17 AM | 8 MB | 30 | |
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 | 204 | |
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 | 199 | |
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 | 212 | |
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 | 228 | |
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 | 205 |