About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / spot

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-post-staging / spot

Filters
Type Size Name Uploaded Downloads Labels
conda 7.9 MB | linux-aarch64/spot-2.11.5-py39he8647fe_0.conda  2 years and 11 months ago 268 main
conda 7.9 MB | linux-aarch64/spot-2.11.5-py310h0d1d2ea_0.conda  2 years and 11 months ago 281 main
conda 8.6 MB | linux-ppc64le/spot-2.11.5-py38h50dc37f_0.conda  2 years and 11 months ago 181 main
conda 7.9 MB | linux-aarch64/spot-2.11.5-py38hed0da46_0.conda  2 years and 11 months ago 257 main
conda 7.9 MB | linux-aarch64/spot-2.11.5-py39hb874dab_0.conda  2 years and 11 months ago 286 main
conda 9.1 MB | linux-ppc64le/spot-2.11.5-py39h21fae4e_0.conda  2 years and 11 months ago 176 main
conda 8.6 MB | linux-ppc64le/spot-2.11.5-py311he7ff939_0.conda  2 years and 11 months ago 184 main
conda 7.6 MB | linux-aarch64/spot-2.11.5-py311h1bf5055_0.conda  2 years and 11 months ago 295 main
conda 7.8 MB | linux-aarch64/spot-2.11.5-py38hccc77a9_0.conda  2 years and 11 months ago 286 main
conda 9.0 MB | linux-ppc64le/spot-2.11.5-py39h14dd6f5_0.conda  2 years and 11 months ago 174 main
conda 6.9 MB | osx-64/spot-2.11.5-py310h9e9d8ca_0.conda  2 years and 11 months ago 445 main
conda 7.0 MB | osx-64/spot-2.11.5-py39h8b0970b_0.conda  2 years and 11 months ago 439 main
conda 6.8 MB | osx-64/spot-2.11.5-py38h940360d_0.conda  2 years and 11 months ago 418 main
conda 7.0 MB | osx-64/spot-2.11.5-py38h03f9691_0.conda  2 years and 11 months ago 456 main
conda 7.2 MB | osx-64/spot-2.11.5-py311hdf8f085_0.conda  2 years and 11 months ago 453 main
conda 6.7 MB | osx-64/spot-2.11.5-py39h840bb9f_0.conda  2 years and 11 months ago 449 main
conda 7.6 MB | linux-64/spot-2.11.5-py311hb755f60_0.conda  2 years and 11 months ago 2259 main
conda 7.9 MB | linux-64/spot-2.11.5-py39h3d6467e_0.conda  2 years and 11 months ago 2485 main
conda 7.6 MB | linux-64/spot-2.11.5-py39hc10206b_0.conda  2 years and 11 months ago 2479 main
conda 7.9 MB | linux-64/spot-2.11.5-py38hf7898d5_0.conda  2 years and 11 months ago 2252 main
conda 8.0 MB | linux-64/spot-2.11.5-py310hc6cd4ac_0.conda  2 years and 11 months ago 2237 main
conda 7.9 MB | linux-64/spot-2.11.5-py38h17151c0_0.conda  2 years and 11 months ago 2288 main
conda 8.6 MB | linux-ppc64le/spot-2.11.4-py38hea8779e_1.conda  3 years and 2 months ago 180 main
conda 7.6 MB | linux-aarch64/spot-2.11.4-py311h13cdd7c_1.conda  3 years and 2 months ago 274 main
conda 7.8 MB | linux-aarch64/spot-2.11.4-py39h9232d20_1.conda  3 years and 2 months ago 291 main
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.17) Legal | Privacy Policy