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 10 days ago 270 main
conda 8.2 MB | linux-64/spot-2.12.2-py311hfdbb021_0.conda  1 month and 10 days ago 271 main
conda 8.3 MB | linux-64/spot-2.12.2-py313h46c70d0_0.conda  1 month and 10 days ago 232 main
conda 8.0 MB | linux-64/spot-2.12.2-py310hf71b8c6_0.conda  1 month and 10 days ago 265 main
conda 8.0 MB | linux-64/spot-2.12.2-py39hf88036b_0.conda  1 month and 10 days ago 230 main
conda 8.4 MB | linux-64/spot-2.12.1-py39hf88036b_2.conda  5 months and 6 days ago 607 main
conda 8.4 MB | linux-64/spot-2.12-py312h2ec8cdc_2.conda  5 months and 6 days ago 584 main
conda 8.2 MB | linux-64/spot-2.12.1-py310hf71b8c6_2.conda  5 months and 6 days ago 678 main
conda 8.3 MB | linux-64/spot-2.12-py313h46c70d0_2.conda  5 months and 6 days ago 575 main
conda 8.4 MB | linux-64/spot-2.12.1-py313h46c70d0_2.conda  5 months and 6 days ago 599 main
conda 8.4 MB | linux-64/spot-2.12-py311hfdbb021_2.conda  5 months and 6 days ago 582 main
conda 8.4 MB | linux-64/spot-2.12.1-py312h2ec8cdc_2.conda  5 months and 6 days ago 807 main
conda 8.4 MB | linux-64/spot-2.12.1-py311hfdbb021_2.conda  5 months and 6 days ago 679 main
conda 8.1 MB | linux-64/spot-2.12-py310hf71b8c6_2.conda  5 months and 6 days ago 599 main
conda 8.5 MB | linux-64/spot-2.12-py39hf88036b_2.conda  5 months and 6 days ago 572 main
conda 8.2 MB | linux-aarch64/spot-2.12-py39h01b0be6_1.conda  8 months and 11 days ago 281 main
conda 8.0 MB | linux-aarch64/spot-2.12-py39h8ebb1b6_1.conda  8 months and 11 days ago 286 main
conda 7.9 MB | linux-aarch64/spot-2.12-py38hf63cb18_1.conda  8 months and 11 days ago 263 main
conda 8.1 MB | linux-aarch64/spot-2.12-py312haed1bfb_1.conda  8 months and 11 days ago 276 main
conda 7.9 MB | linux-aarch64/spot-2.12-py310h58ce7f1_1.conda  8 months and 11 days ago 255 main
conda 7.9 MB | linux-aarch64/spot-2.12-py311h35f616d_1.conda  8 months and 11 days ago 249 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_1.conda  8 months and 11 days ago 1185 main
conda 8.1 MB | linux-64/spot-2.12-py311hb755f60_1.conda  8 months and 11 days ago 1143 main
conda 8.0 MB | linux-64/spot-2.12-py39hc10206b_1.conda  8 months and 11 days ago 1099 main
conda 8.1 MB | linux-64/spot-2.12-py39h3d6467e_1.conda  8 months and 11 days ago 1112 main
conda 8.0 MB | linux-64/spot-2.12-py312h30efb56_1.conda  8 months and 11 days ago 1220 main
conda 8.0 MB | linux-64/spot-2.12-py38h17151c0_1.conda  8 months and 11 days ago 1165 main
conda 8.3 MB | linux-64/spot-2.12-py39h3d6467e_0.conda  9 months and 13 days ago 1155 main
conda 8.0 MB | linux-64/spot-2.12-py311hb755f60_0.conda  9 months and 13 days ago 1123 main
conda 8.3 MB | linux-64/spot-2.12-py312h30efb56_0.conda  9 months and 13 days ago 1163 main
conda 8.2 MB | linux-64/spot-2.12-py39hc10206b_0.conda  9 months and 13 days ago 1126 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_0.conda  9 months and 13 days ago 1164 main
conda 8.3 MB | linux-64/spot-2.12-py38h17151c0_0.conda  9 months and 13 days ago 1162 main
conda 7.8 MB | linux-64/spot-2.11.6-py39h3d6467e_1.conda  1 year and 4 months ago 1334 main
conda 8.0 MB | linux-64/spot-2.11.6-py38h17151c0_1.conda  1 year and 4 months ago 1283 main
conda 7.8 MB | linux-64/spot-2.11.6-py39hc10206b_1.conda  1 year and 4 months ago 1319 main
conda 7.9 MB | linux-64/spot-2.11.6-py310hc6cd4ac_1.conda  1 year and 4 months ago 1405 main
conda 7.9 MB | linux-64/spot-2.11.6-py38hf7898d5_1.conda  1 year and 4 months ago 1230 main
conda 8.0 MB | linux-64/spot-2.11.6-py311hb755f60_1.conda  1 year and 4 months ago 1293 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.7) Legal | Privacy Policy