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  2 months and 13 days ago 381 main
conda 8.2 MB | linux-64/spot-2.12.2-py311hfdbb021_0.conda  2 months and 13 days ago 352 main
conda 8.3 MB | linux-64/spot-2.12.2-py313h46c70d0_0.conda  2 months and 13 days ago 321 main
conda 8.0 MB | linux-64/spot-2.12.2-py310hf71b8c6_0.conda  2 months and 13 days ago 341 main
conda 8.0 MB | linux-64/spot-2.12.2-py39hf88036b_0.conda  2 months and 13 days ago 314 main
conda 8.4 MB | linux-64/spot-2.12.1-py39hf88036b_2.conda  6 months and 10 days ago 680 main
conda 8.4 MB | linux-64/spot-2.12-py312h2ec8cdc_2.conda  6 months and 10 days ago 659 main
conda 8.2 MB | linux-64/spot-2.12.1-py310hf71b8c6_2.conda  6 months and 10 days ago 753 main
conda 8.3 MB | linux-64/spot-2.12-py313h46c70d0_2.conda  6 months and 10 days ago 651 main
conda 8.4 MB | linux-64/spot-2.12.1-py313h46c70d0_2.conda  6 months and 10 days ago 678 main
conda 8.4 MB | linux-64/spot-2.12-py311hfdbb021_2.conda  6 months and 10 days ago 658 main
conda 8.4 MB | linux-64/spot-2.12.1-py312h2ec8cdc_2.conda  6 months and 10 days ago 887 main
conda 8.4 MB | linux-64/spot-2.12.1-py311hfdbb021_2.conda  6 months and 10 days ago 759 main
conda 8.1 MB | linux-64/spot-2.12-py310hf71b8c6_2.conda  6 months and 10 days ago 675 main
conda 8.5 MB | linux-64/spot-2.12-py39hf88036b_2.conda  6 months and 10 days ago 648 main
conda 8.2 MB | linux-aarch64/spot-2.12-py39h01b0be6_1.conda  9 months and 14 days ago 284 main
conda 8.0 MB | linux-aarch64/spot-2.12-py39h8ebb1b6_1.conda  9 months and 14 days ago 290 main
conda 7.9 MB | linux-aarch64/spot-2.12-py38hf63cb18_1.conda  9 months and 14 days ago 267 main
conda 8.1 MB | linux-aarch64/spot-2.12-py312haed1bfb_1.conda  9 months and 14 days ago 288 main
conda 7.9 MB | linux-aarch64/spot-2.12-py310h58ce7f1_1.conda  9 months and 14 days ago 259 main
conda 7.9 MB | linux-aarch64/spot-2.12-py311h35f616d_1.conda  9 months and 14 days ago 253 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_1.conda  9 months and 14 days ago 1259 main
conda 8.1 MB | linux-64/spot-2.12-py311hb755f60_1.conda  9 months and 14 days ago 1215 main
conda 8.0 MB | linux-64/spot-2.12-py39hc10206b_1.conda  9 months and 14 days ago 1170 main
conda 8.1 MB | linux-64/spot-2.12-py39h3d6467e_1.conda  9 months and 14 days ago 1192 main
conda 8.0 MB | linux-64/spot-2.12-py312h30efb56_1.conda  9 months and 14 days ago 1293 main
conda 8.0 MB | linux-64/spot-2.12-py38h17151c0_1.conda  9 months and 14 days ago 1248 main
conda 8.3 MB | linux-64/spot-2.12-py39h3d6467e_0.conda  10 months and 17 days ago 1223 main
conda 8.0 MB | linux-64/spot-2.12-py311hb755f60_0.conda  10 months and 17 days ago 1200 main
conda 8.3 MB | linux-64/spot-2.12-py312h30efb56_0.conda  10 months and 17 days ago 1239 main
conda 8.2 MB | linux-64/spot-2.12-py39hc10206b_0.conda  10 months and 17 days ago 1202 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_0.conda  10 months and 17 days ago 1240 main
conda 8.3 MB | linux-64/spot-2.12-py38h17151c0_0.conda  10 months and 17 days ago 1234 main
conda 7.8 MB | linux-64/spot-2.11.6-py39h3d6467e_1.conda  1 year and 5 months ago 1405 main
conda 8.0 MB | linux-64/spot-2.11.6-py38h17151c0_1.conda  1 year and 5 months ago 1356 main
conda 7.8 MB | linux-64/spot-2.11.6-py39hc10206b_1.conda  1 year and 5 months ago 1392 main
conda 7.9 MB | linux-64/spot-2.11.6-py310hc6cd4ac_1.conda  1 year and 5 months ago 1482 main
conda 7.9 MB | linux-64/spot-2.11.6-py38hf7898d5_1.conda  1 year and 5 months ago 1303 main
conda 8.0 MB | linux-64/spot-2.11.6-py311hb755f60_1.conda  1 year and 5 months ago 1366 main
conda 8.9 MB | linux-ppc64le/spot-2.11.6-py38h50dc37f_0.conda  1 year and 8 months ago 155 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py39h21fae4e_0.conda  1 year and 8 months ago 168 main
conda 7.7 MB | linux-aarch64/spot-2.11.6-py38hed0da46_0.conda  1 year and 8 months ago 254 main
conda 7.4 MB | linux-aarch64/spot-2.11.6-py311h1bf5055_0.conda  1 year and 8 months ago 269 main
conda 7.4 MB | linux-aarch64/spot-2.11.6-py39he8647fe_0.conda  1 year and 8 months ago 289 main
conda 7.5 MB | linux-aarch64/spot-2.11.6-py310h0d1d2ea_0.conda  1 year and 8 months ago 231 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py39h14dd6f5_0.conda  1 year and 8 months ago 164 main
conda 7.5 MB | linux-aarch64/spot-2.11.6-py38hccc77a9_0.conda  1 year and 8 months ago 249 main
conda 8.9 MB | linux-ppc64le/spot-2.11.6-py38hadfccef_0.conda  1 year and 8 months ago 163 main
conda 7.8 MB | linux-aarch64/spot-2.11.6-py39hb874dab_0.conda  1 year and 8 months ago 242 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py311he7ff939_0.conda  1 year and 8 months ago 148 main

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