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.4 MB | linux-64/spot-2.12-py312h2ec8cdc_2.conda  6 months and 4 days ago 645 main
conda 8.3 MB | linux-64/spot-2.12-py313h46c70d0_2.conda  6 months and 4 days ago 640 main
conda 8.4 MB | linux-64/spot-2.12-py311hfdbb021_2.conda  6 months and 4 days ago 645 main
conda 8.1 MB | linux-64/spot-2.12-py310hf71b8c6_2.conda  6 months and 4 days ago 663 main
conda 8.5 MB | linux-64/spot-2.12-py39hf88036b_2.conda  6 months and 4 days ago 637 main
conda 8.2 MB | linux-aarch64/spot-2.12-py39h01b0be6_1.conda  9 months and 9 days ago 283 main
conda 8.0 MB | linux-aarch64/spot-2.12-py39h8ebb1b6_1.conda  9 months and 9 days ago 290 main
conda 7.9 MB | linux-aarch64/spot-2.12-py38hf63cb18_1.conda  9 months and 9 days ago 267 main
conda 8.1 MB | linux-aarch64/spot-2.12-py312haed1bfb_1.conda  9 months and 9 days ago 286 main
conda 7.9 MB | linux-aarch64/spot-2.12-py310h58ce7f1_1.conda  9 months and 9 days ago 259 main
conda 7.9 MB | linux-aarch64/spot-2.12-py311h35f616d_1.conda  9 months and 9 days ago 253 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_1.conda  9 months and 9 days ago 1245 main
conda 8.1 MB | linux-64/spot-2.12-py311hb755f60_1.conda  9 months and 9 days ago 1205 main
conda 8.0 MB | linux-64/spot-2.12-py39hc10206b_1.conda  9 months and 9 days ago 1160 main
conda 8.1 MB | linux-64/spot-2.12-py39h3d6467e_1.conda  9 months and 9 days ago 1181 main
conda 8.0 MB | linux-64/spot-2.12-py312h30efb56_1.conda  9 months and 9 days ago 1281 main
conda 8.0 MB | linux-64/spot-2.12-py38h17151c0_1.conda  9 months and 9 days ago 1235 main
conda 8.3 MB | linux-64/spot-2.12-py39h3d6467e_0.conda  10 months and 11 days ago 1212 main
conda 8.0 MB | linux-64/spot-2.12-py311hb755f60_0.conda  10 months and 11 days ago 1189 main
conda 8.3 MB | linux-64/spot-2.12-py312h30efb56_0.conda  10 months and 11 days ago 1228 main
conda 8.2 MB | linux-64/spot-2.12-py39hc10206b_0.conda  10 months and 11 days ago 1189 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_0.conda  10 months and 11 days ago 1228 main
conda 8.3 MB | linux-64/spot-2.12-py38h17151c0_0.conda  10 months and 11 days ago 1224 main

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