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 7.7 MB | linux-64/spot-2.9.8-py37hcd2ae1e_1.tar.bz2  3 years and 5 months ago 1686 main
conda 7.5 MB | osx-64/spot-2.9.8-py39h9fcab8e_0.tar.bz2  3 years and 8 months ago 101 main
conda 7.4 MB | osx-64/spot-2.9.8-py37hd8d24ac_0.tar.bz2  3 years and 8 months ago 100 main
conda 7.5 MB | osx-64/spot-2.9.8-py36hefe7e0e_0.tar.bz2  3 years and 8 months ago 115 main
conda 7.5 MB | osx-64/spot-2.9.8-py38ha048514_0.tar.bz2  3 years and 8 months ago 101 main
conda 7.7 MB | linux-64/spot-2.9.8-py39he80948d_0.tar.bz2  3 years and 8 months ago 2398 main
conda 7.7 MB | linux-64/spot-2.9.8-py37hcd2ae1e_0.tar.bz2  3 years and 8 months ago 1828 main
conda 7.8 MB | linux-64/spot-2.9.8-py36hc4f0c31_0.tar.bz2  3 years and 8 months ago 1885 main
conda 7.7 MB | linux-64/spot-2.9.8-py38h709712a_0.tar.bz2  3 years and 8 months ago 1849 main
conda 7.5 MB | osx-64/spot-2.9.7-py39h9fcab8e_0.tar.bz2  3 years and 9 months ago 126 main
conda 7.5 MB | osx-64/spot-2.9.7-py36hefe7e0e_0.tar.bz2  3 years and 9 months ago 126 main
conda 7.5 MB | osx-64/spot-2.9.7-py37hd8d24ac_0.tar.bz2  3 years and 9 months ago 131 main
conda 7.5 MB | osx-64/spot-2.9.7-py38ha048514_0.tar.bz2  3 years and 9 months ago 120 main
conda 7.7 MB | linux-64/spot-2.9.7-py38h709712a_0.tar.bz2  3 years and 9 months ago 1893 main
conda 7.7 MB | linux-64/spot-2.9.7-py36hc4f0c31_0.tar.bz2  3 years and 9 months ago 1911 main
conda 7.7 MB | linux-64/spot-2.9.7-py37hcd2ae1e_0.tar.bz2  3 years and 9 months ago 1886 main
conda 7.8 MB | linux-64/spot-2.9.7-py39he80948d_0.tar.bz2  3 years and 9 months ago 2458 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.9) Legal | Privacy Policy