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 8.9 MB | linux-ppc64le/spot-2.11.5-py38hadfccef_0.conda  2 years and 4 months ago 171 main
conda 8.8 MB | linux-ppc64le/spot-2.11.5-py310hcc3874d_0.conda  2 years and 4 months ago 161 main
conda 7.9 MB | linux-aarch64/spot-2.11.5-py39he8647fe_0.conda  2 years and 4 months ago 252 main
conda 7.9 MB | linux-aarch64/spot-2.11.5-py310h0d1d2ea_0.conda  2 years and 4 months ago 265 main
conda 8.6 MB | linux-ppc64le/spot-2.11.5-py38h50dc37f_0.conda  2 years and 4 months ago 175 main
conda 7.9 MB | linux-aarch64/spot-2.11.5-py38hed0da46_0.conda  2 years and 4 months ago 241 main
conda 7.9 MB | linux-aarch64/spot-2.11.5-py39hb874dab_0.conda  2 years and 4 months ago 270 main
conda 9.1 MB | linux-ppc64le/spot-2.11.5-py39h21fae4e_0.conda  2 years and 4 months ago 169 main
conda 8.6 MB | linux-ppc64le/spot-2.11.5-py311he7ff939_0.conda  2 years and 4 months ago 177 main
conda 7.6 MB | linux-aarch64/spot-2.11.5-py311h1bf5055_0.conda  2 years and 4 months ago 279 main
conda 7.8 MB | linux-aarch64/spot-2.11.5-py38hccc77a9_0.conda  2 years and 4 months ago 270 main
conda 9.0 MB | linux-ppc64le/spot-2.11.5-py39h14dd6f5_0.conda  2 years and 4 months ago 167 main
conda 6.9 MB | osx-64/spot-2.11.5-py310h9e9d8ca_0.conda  2 years and 4 months ago 429 main
conda 7.0 MB | osx-64/spot-2.11.5-py39h8b0970b_0.conda  2 years and 4 months ago 422 main
conda 6.8 MB | osx-64/spot-2.11.5-py38h940360d_0.conda  2 years and 4 months ago 402 main
conda 7.0 MB | osx-64/spot-2.11.5-py38h03f9691_0.conda  2 years and 4 months ago 439 main
conda 7.2 MB | osx-64/spot-2.11.5-py311hdf8f085_0.conda  2 years and 4 months ago 435 main
conda 6.7 MB | osx-64/spot-2.11.5-py39h840bb9f_0.conda  2 years and 4 months ago 431 main
conda 7.6 MB | linux-64/spot-2.11.5-py311hb755f60_0.conda  2 years and 4 months ago 1805 main
conda 7.9 MB | linux-64/spot-2.11.5-py39h3d6467e_0.conda  2 years and 4 months ago 2031 main
conda 7.6 MB | linux-64/spot-2.11.5-py39hc10206b_0.conda  2 years and 4 months ago 2048 main
conda 7.9 MB | linux-64/spot-2.11.5-py38hf7898d5_0.conda  2 years and 4 months ago 1804 main
conda 8.0 MB | linux-64/spot-2.11.5-py310hc6cd4ac_0.conda  2 years and 4 months ago 1793 main
conda 7.9 MB | linux-64/spot-2.11.5-py38h17151c0_0.conda  2 years and 4 months ago 1836 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy