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 12 days ago 664 main
conda 8.3 MB | linux-64/spot-2.12-py313h46c70d0_2.conda  6 months and 12 days ago 655 main
conda 8.4 MB | linux-64/spot-2.12-py311hfdbb021_2.conda  6 months and 12 days ago 663 main
conda 8.1 MB | linux-64/spot-2.12-py310hf71b8c6_2.conda  6 months and 12 days ago 679 main
conda 8.5 MB | linux-64/spot-2.12-py39hf88036b_2.conda  6 months and 12 days ago 653 main
conda 8.2 MB | linux-aarch64/spot-2.12-py39h01b0be6_1.conda  9 months and 16 days ago 284 main
conda 8.0 MB | linux-aarch64/spot-2.12-py39h8ebb1b6_1.conda  9 months and 16 days ago 290 main
conda 7.9 MB | linux-aarch64/spot-2.12-py38hf63cb18_1.conda  9 months and 16 days ago 267 main
conda 8.1 MB | linux-aarch64/spot-2.12-py312haed1bfb_1.conda  9 months and 16 days ago 288 main
conda 7.9 MB | linux-aarch64/spot-2.12-py310h58ce7f1_1.conda  9 months and 16 days ago 259 main
conda 7.9 MB | linux-aarch64/spot-2.12-py311h35f616d_1.conda  9 months and 16 days ago 253 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_1.conda  9 months and 16 days ago 1263 main
conda 8.1 MB | linux-64/spot-2.12-py311hb755f60_1.conda  9 months and 16 days ago 1219 main
conda 8.0 MB | linux-64/spot-2.12-py39hc10206b_1.conda  9 months and 16 days ago 1174 main
conda 8.1 MB | linux-64/spot-2.12-py39h3d6467e_1.conda  9 months and 16 days ago 1197 main
conda 8.0 MB | linux-64/spot-2.12-py312h30efb56_1.conda  9 months and 16 days ago 1298 main
conda 8.0 MB | linux-64/spot-2.12-py38h17151c0_1.conda  9 months and 16 days ago 1254 main
conda 8.3 MB | linux-64/spot-2.12-py39h3d6467e_0.conda  10 months and 19 days ago 1228 main
conda 8.0 MB | linux-64/spot-2.12-py311hb755f60_0.conda  10 months and 19 days ago 1205 main
conda 8.3 MB | linux-64/spot-2.12-py312h30efb56_0.conda  10 months and 19 days ago 1244 main
conda 8.2 MB | linux-64/spot-2.12-py39hc10206b_0.conda  10 months and 19 days ago 1207 main
conda 8.4 MB | linux-64/spot-2.12-py310hc6cd4ac_0.conda  10 months and 19 days ago 1245 main
conda 8.3 MB | linux-64/spot-2.12-py38h17151c0_0.conda  10 months and 19 days ago 1239 main

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