About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

conda-forge / packages / spot

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot

Filters
Type Size Name Uploaded Downloads Labels
conda 9.2 MB | linux-64/spot-2.10.4-py39h5a03fae_1.tar.bz2  3 years and 8 days ago 2196 main
conda 9.2 MB | linux-64/spot-2.10.4-py310hd8f1fbe_1.tar.bz2  3 years and 8 days ago 1645 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h0e26352_1.tar.bz2  3 years and 8 days ago 2252 main
conda 8.8 MB | osx-64/spot-2.10.4-py37hd8d24ac_0.tar.bz2  3 years and 2 months ago 83 main
conda 8.9 MB | osx-64/spot-2.10.4-py38ha048514_0.tar.bz2  3 years and 2 months ago 80 main
conda 8.8 MB | osx-64/spot-2.10.4-py310hba3363e_0.tar.bz2  3 years and 2 months ago 85 main
conda 8.8 MB | osx-64/spot-2.10.4-py39h9fcab8e_0.tar.bz2  3 years and 2 months ago 83 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hcd2ae1e_0.tar.bz2  3 years and 2 months ago 1665 main
conda 9.2 MB | linux-64/spot-2.10.4-py39he80948d_0.tar.bz2  3 years and 2 months ago 2238 main
conda 9.2 MB | linux-64/spot-2.10.4-py38h709712a_0.tar.bz2  3 years and 2 months ago 1653 main
conda 9.1 MB | linux-64/spot-2.10.4-py310h122e73d_0.tar.bz2  3 years and 2 months ago 1643 main
conda 8.8 MB | osx-64/spot-2.10.3-py38ha048514_0.tar.bz2  3 years and 3 months ago 81 main
conda 8.8 MB | osx-64/spot-2.10.3-py37hd8d24ac_0.tar.bz2  3 years and 3 months ago 81 main
conda 8.8 MB | osx-64/spot-2.10.3-py310hba3363e_0.tar.bz2  3 years and 3 months ago 81 main
conda 8.8 MB | osx-64/spot-2.10.3-py39h9fcab8e_0.tar.bz2  3 years and 3 months ago 81 main
conda 9.1 MB | linux-64/spot-2.10.3-py39he80948d_0.tar.bz2  3 years and 3 months ago 2200 main
conda 9.1 MB | linux-64/spot-2.10.3-py38h709712a_0.tar.bz2  3 years and 3 months ago 1648 main
conda 9.1 MB | linux-64/spot-2.10.3-py37hcd2ae1e_0.tar.bz2  3 years and 3 months ago 1672 main
conda 9.1 MB | linux-64/spot-2.10.3-py310h122e73d_0.tar.bz2  3 years and 3 months ago 1638 main
conda 8.8 MB | osx-64/spot-2.10.2-py310hba3363e_0.tar.bz2  3 years and 4 months ago 79 main
conda 8.8 MB | osx-64/spot-2.10.2-py37hd8d24ac_0.tar.bz2  3 years and 4 months ago 81 main
conda 8.8 MB | osx-64/spot-2.10.2-py39h9fcab8e_0.tar.bz2  3 years and 4 months ago 77 main
conda 8.8 MB | osx-64/spot-2.10.2-py38ha048514_0.tar.bz2  3 years and 4 months ago 80 main
conda 9.2 MB | linux-64/spot-2.10.2-py39he80948d_0.tar.bz2  3 years and 4 months ago 2225 main
conda 9.1 MB | linux-64/spot-2.10.2-py310h122e73d_0.tar.bz2  3 years and 4 months ago 1672 main
conda 9.1 MB | linux-64/spot-2.10.2-py37hcd2ae1e_0.tar.bz2  3 years and 4 months ago 1681 main
conda 9.1 MB | linux-64/spot-2.10.2-py38h709712a_0.tar.bz2  3 years and 4 months ago 1655 main
conda 8.8 MB | osx-64/spot-2.10.1-py38ha048514_0.tar.bz2  3 years and 5 months ago 78 main
conda 8.9 MB | osx-64/spot-2.10.1-py39h9fcab8e_0.tar.bz2  3 years and 5 months ago 76 main
conda 8.8 MB | osx-64/spot-2.10.1-py37hd8d24ac_0.tar.bz2  3 years and 5 months ago 78 main
conda 8.8 MB | osx-64/spot-2.10.1-py310hba3363e_0.tar.bz2  3 years and 5 months ago 78 main
conda 9.1 MB | linux-64/spot-2.10.1-py310h122e73d_0.tar.bz2  3 years and 5 months ago 1673 main
conda 9.2 MB | linux-64/spot-2.10.1-py39he80948d_0.tar.bz2  3 years and 5 months ago 2222 main
conda 9.1 MB | linux-64/spot-2.10.1-py37hcd2ae1e_0.tar.bz2  3 years and 5 months ago 1646 main
conda 9.1 MB | linux-64/spot-2.10.1-py38h709712a_0.tar.bz2  3 years and 5 months ago 1670 main
conda 8.7 MB | osx-64/spot-2.10-py39h9fcab8e_1.tar.bz2  3 years and 5 months ago 85 main
conda 8.6 MB | osx-64/spot-2.10-py37hd8d24ac_1.tar.bz2  3 years and 5 months ago 87 main
conda 8.7 MB | osx-64/spot-2.10-py310hba3363e_1.tar.bz2  3 years and 5 months ago 88 main
conda 8.7 MB | osx-64/spot-2.10-py38ha048514_1.tar.bz2  3 years and 5 months ago 87 main
conda 8.7 MB | osx-64/spot-2.10-py39h9fcab8e_0.tar.bz2  3 years and 5 months ago 85 main
conda 8.9 MB | osx-64/spot-2.10-py37hd8d24ac_0.tar.bz2  3 years and 5 months ago 88 main
conda 8.8 MB | osx-64/spot-2.10-py310hba3363e_0.tar.bz2  3 years and 5 months ago 87 main
conda 8.7 MB | osx-64/spot-2.10-py38ha048514_0.tar.bz2  3 years and 5 months ago 88 main
conda 7.5 MB | osx-64/spot-2.9.8-py37hd8d24ac_1.tar.bz2  3 years and 5 months ago 89 main
conda 7.5 MB | osx-64/spot-2.9.8-py39h9fcab8e_1.tar.bz2  3 years and 5 months ago 89 main
conda 7.5 MB | osx-64/spot-2.9.8-py310hba3363e_1.tar.bz2  3 years and 5 months ago 89 main
conda 7.4 MB | osx-64/spot-2.9.8-py38ha048514_1.tar.bz2  3 years and 5 months ago 89 main
conda 7.7 MB | linux-64/spot-2.9.8-py38h709712a_1.tar.bz2  3 years and 5 months ago 1728 main
conda 7.7 MB | linux-64/spot-2.9.8-py310h122e73d_1.tar.bz2  3 years and 5 months ago 1710 main
conda 7.7 MB | linux-64/spot-2.9.8-py39he80948d_1.tar.bz2  3 years and 5 months ago 2283 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.9) Legal | Privacy Policy