About Anaconda Help Download Anaconda

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot
Type Size Name Uploaded Downloads Labels
conda 8.0 MB | linux-64/spot-2.12.2-py312h2ec8cdc_0.conda  1 month and 26 days ago 336 main
conda 8.2 MB | linux-64/spot-2.12.2-py311hfdbb021_0.conda  1 month and 26 days ago 311 main
conda 8.3 MB | linux-64/spot-2.12.2-py313h46c70d0_0.conda  1 month and 26 days ago 282 main
conda 8.0 MB | linux-64/spot-2.12.2-py310hf71b8c6_0.conda  1 month and 26 days ago 300 main
conda 8.0 MB | linux-64/spot-2.12.2-py39hf88036b_0.conda  1 month and 26 days ago 268 main
conda 8.4 MB | linux-64/spot-2.12.1-py39hf88036b_2.conda  5 months and 22 days ago 642 main
conda 8.4 MB | linux-64/spot-2.12-py312h2ec8cdc_2.conda  5 months and 22 days ago 622 main
conda 8.2 MB | linux-64/spot-2.12.1-py310hf71b8c6_2.conda  5 months and 22 days ago 715 main
conda 8.3 MB | linux-64/spot-2.12-py313h46c70d0_2.conda  5 months and 22 days ago 615 main
conda 8.4 MB | linux-64/spot-2.12.1-py313h46c70d0_2.conda  5 months and 22 days ago 638 main
conda 8.4 MB | linux-64/spot-2.12-py311hfdbb021_2.conda  5 months and 22 days ago 622 main
conda 8.4 MB | linux-64/spot-2.12.1-py312h2ec8cdc_2.conda  5 months and 22 days ago 845 main
conda 8.4 MB | linux-64/spot-2.12.1-py311hfdbb021_2.conda  5 months and 22 days ago 719 main
conda 8.1 MB | linux-64/spot-2.12-py310hf71b8c6_2.conda  5 months and 22 days ago 637 main
conda 8.5 MB | linux-64/spot-2.12-py39hf88036b_2.conda  5 months and 22 days ago 611 main
conda 8.2 MB | linux-aarch64/spot-2.12-py39h01b0be6_1.conda  8 months and 27 days ago 281 main
conda 8.0 MB | linux-aarch64/spot-2.12-py39h8ebb1b6_1.conda  8 months and 27 days ago 286 main
conda 7.9 MB | linux-aarch64/spot-2.12-py38hf63cb18_1.conda  8 months and 27 days ago 264 main
conda 8.1 MB | linux-aarch64/spot-2.12-py312haed1bfb_1.conda  8 months and 27 days ago 280 main
conda 7.9 MB | linux-aarch64/spot-2.12-py310h58ce7f1_1.conda  8 months and 27 days ago 256 main
conda 7.9 MB | linux-aarch64/spot-2.12-py311h35f616d_1.conda  8 months and 27 days ago 249 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_1.conda  8 months and 27 days ago 1222 main
conda 8.1 MB | linux-64/spot-2.12-py311hb755f60_1.conda  8 months and 27 days ago 1178 main
conda 8.0 MB | linux-64/spot-2.12-py39hc10206b_1.conda  8 months and 27 days ago 1134 main
conda 8.1 MB | linux-64/spot-2.12-py39h3d6467e_1.conda  8 months and 27 days ago 1154 main
conda 8.0 MB | linux-64/spot-2.12-py312h30efb56_1.conda  8 months and 27 days ago 1258 main
conda 8.0 MB | linux-64/spot-2.12-py38h17151c0_1.conda  8 months and 27 days ago 1207 main
conda 8.3 MB | linux-64/spot-2.12-py39h3d6467e_0.conda  10 months and 1 day ago 1188 main
conda 8.0 MB | linux-64/spot-2.12-py311hb755f60_0.conda  10 months and 1 day ago 1163 main
conda 8.3 MB | linux-64/spot-2.12-py312h30efb56_0.conda  10 months and 1 day ago 1201 main
conda 8.2 MB | linux-64/spot-2.12-py39hc10206b_0.conda  10 months and 1 day ago 1163 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_0.conda  10 months and 1 day ago 1201 main
conda 8.3 MB | linux-64/spot-2.12-py38h17151c0_0.conda  10 months and 1 day ago 1198 main
conda 7.8 MB | linux-64/spot-2.11.6-py39h3d6467e_1.conda  1 year and 4 months ago 1371 main
conda 8.0 MB | linux-64/spot-2.11.6-py38h17151c0_1.conda  1 year and 4 months ago 1320 main
conda 7.8 MB | linux-64/spot-2.11.6-py39hc10206b_1.conda  1 year and 4 months ago 1358 main
conda 7.9 MB | linux-64/spot-2.11.6-py310hc6cd4ac_1.conda  1 year and 4 months ago 1443 main
conda 7.9 MB | linux-64/spot-2.11.6-py38hf7898d5_1.conda  1 year and 4 months ago 1266 main
conda 8.0 MB | linux-64/spot-2.11.6-py311hb755f60_1.conda  1 year and 4 months ago 1329 main
conda 8.9 MB | linux-ppc64le/spot-2.11.6-py38h50dc37f_0.conda  1 year and 7 months ago 154 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py39h21fae4e_0.conda  1 year and 7 months ago 167 main
conda 7.7 MB | linux-aarch64/spot-2.11.6-py38hed0da46_0.conda  1 year and 7 months ago 252 main
conda 7.4 MB | linux-aarch64/spot-2.11.6-py311h1bf5055_0.conda  1 year and 7 months ago 268 main
conda 7.4 MB | linux-aarch64/spot-2.11.6-py39he8647fe_0.conda  1 year and 7 months ago 287 main
conda 7.5 MB | linux-aarch64/spot-2.11.6-py310h0d1d2ea_0.conda  1 year and 7 months ago 231 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py39h14dd6f5_0.conda  1 year and 7 months ago 164 main
conda 7.5 MB | linux-aarch64/spot-2.11.6-py38hccc77a9_0.conda  1 year and 7 months ago 248 main
conda 8.9 MB | linux-ppc64le/spot-2.11.6-py38hadfccef_0.conda  1 year and 7 months ago 161 main
conda 7.8 MB | linux-aarch64/spot-2.11.6-py39hb874dab_0.conda  1 year and 7 months ago 240 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py311he7ff939_0.conda  1 year and 7 months ago 148 main

© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.9) Legal | Privacy Policy