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 | osx-64/spot-2.10-py37hd8d24ac_0.tar.bz2  4 years and 1 month ago 101 main
conda 8.8 MB | osx-64/spot-2.10-py310hba3363e_0.tar.bz2  4 years and 1 month ago 102 main
conda 8.7 MB | osx-64/spot-2.10-py38ha048514_0.tar.bz2  4 years and 1 month ago 101 main
conda 7.5 MB | osx-64/spot-2.9.8-py37hd8d24ac_1.tar.bz2  4 years and 1 month ago 102 main
conda 7.5 MB | osx-64/spot-2.9.8-py39h9fcab8e_1.tar.bz2  4 years and 1 month ago 102 main
conda 7.5 MB | osx-64/spot-2.9.8-py310hba3363e_1.tar.bz2  4 years and 1 month ago 102 main
conda 7.4 MB | osx-64/spot-2.9.8-py38ha048514_1.tar.bz2  4 years and 1 month ago 102 main
conda 7.7 MB | linux-64/spot-2.9.8-py38h709712a_1.tar.bz2  4 years and 1 month ago 2262 main
conda 7.7 MB | linux-64/spot-2.9.8-py310h122e73d_1.tar.bz2  4 years and 1 month ago 2252 main
conda 7.7 MB | linux-64/spot-2.9.8-py39he80948d_1.tar.bz2  4 years and 1 month ago 2856 main
conda 7.7 MB | linux-64/spot-2.9.8-py37hcd2ae1e_1.tar.bz2  4 years and 1 month ago 2233 main
conda 7.5 MB | osx-64/spot-2.9.8-py39h9fcab8e_0.tar.bz2  4 years and 4 months ago 114 main
conda 7.4 MB | osx-64/spot-2.9.8-py37hd8d24ac_0.tar.bz2  4 years and 4 months ago 114 main
conda 7.5 MB | osx-64/spot-2.9.8-py36hefe7e0e_0.tar.bz2  4 years and 4 months ago 129 main
conda 7.5 MB | osx-64/spot-2.9.8-py38ha048514_0.tar.bz2  4 years and 4 months ago 114 main
conda 7.7 MB | linux-64/spot-2.9.8-py39he80948d_0.tar.bz2  4 years and 4 months ago 2928 main
conda 7.7 MB | linux-64/spot-2.9.8-py37hcd2ae1e_0.tar.bz2  4 years and 4 months ago 2363 main
conda 7.8 MB | linux-64/spot-2.9.8-py36hc4f0c31_0.tar.bz2  4 years and 4 months ago 2437 main
conda 7.7 MB | linux-64/spot-2.9.8-py38h709712a_0.tar.bz2  4 years and 4 months ago 2390 main
conda 7.5 MB | osx-64/spot-2.9.7-py39h9fcab8e_0.tar.bz2  4 years and 6 months ago 140 main
conda 7.5 MB | osx-64/spot-2.9.7-py36hefe7e0e_0.tar.bz2  4 years and 6 months ago 138 main
conda 7.5 MB | osx-64/spot-2.9.7-py37hd8d24ac_0.tar.bz2  4 years and 6 months ago 144 main
conda 7.5 MB | osx-64/spot-2.9.7-py38ha048514_0.tar.bz2  4 years and 6 months ago 133 main
conda 7.7 MB | linux-64/spot-2.9.7-py38h709712a_0.tar.bz2  4 years and 6 months ago 2446 main
conda 7.7 MB | linux-64/spot-2.9.7-py36hc4f0c31_0.tar.bz2  4 years and 6 months ago 2456 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.13) Legal | Privacy Policy