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 9.1 MB | osx-64/spot-2.10.4-py39h9dae540_1.tar.bz2  3 years and 4 months ago 90 main
conda 9.0 MB | osx-64/spot-2.10.4-py38hf1f1e57_1.tar.bz2  3 years and 4 months ago 92 main
conda 9.0 MB | osx-64/spot-2.10.4-py38h038c8f4_1.tar.bz2  3 years and 4 months ago 88 main
conda 9.0 MB | osx-64/spot-2.10.4-py39hfd1d529_1.tar.bz2  3 years and 4 months ago 90 main
conda 9.0 MB | osx-64/spot-2.10.4-py37h0582d14_1.tar.bz2  3 years and 4 months ago 92 main
conda 9.1 MB | osx-64/spot-2.10.4-py310h9d931ec_1.tar.bz2  3 years and 4 months ago 90 main
conda 9.2 MB | linux-64/spot-2.10.4-py38ha8be2cd_1.tar.bz2  3 years and 4 months ago 1912 main
conda 9.2 MB | linux-64/spot-2.10.4-py38hfa26641_1.tar.bz2  3 years and 4 months ago 1908 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hd23a5d3_1.tar.bz2  3 years and 4 months ago 1948 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h5a03fae_1.tar.bz2  3 years and 4 months ago 2490 main
conda 9.2 MB | linux-64/spot-2.10.4-py310hd8f1fbe_1.tar.bz2  3 years and 4 months ago 1953 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h0e26352_1.tar.bz2  3 years and 4 months ago 2557 main
conda 8.8 MB | osx-64/spot-2.10.4-py37hd8d24ac_0.tar.bz2  3 years and 7 months ago 89 main
conda 8.9 MB | osx-64/spot-2.10.4-py38ha048514_0.tar.bz2  3 years and 7 months ago 87 main
conda 8.8 MB | osx-64/spot-2.10.4-py310hba3363e_0.tar.bz2  3 years and 7 months ago 92 main
conda 8.8 MB | osx-64/spot-2.10.4-py39h9fcab8e_0.tar.bz2  3 years and 7 months ago 90 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hcd2ae1e_0.tar.bz2  3 years and 7 months ago 1959 main
conda 9.2 MB | linux-64/spot-2.10.4-py39he80948d_0.tar.bz2  3 years and 7 months ago 2549 main
conda 9.2 MB | linux-64/spot-2.10.4-py38h709712a_0.tar.bz2  3 years and 7 months ago 1965 main
conda 9.1 MB | linux-64/spot-2.10.4-py310h122e73d_0.tar.bz2  3 years and 7 months ago 1926 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.1) Legal | Privacy Policy