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.5 MB | osx-64/spot-2.11.2-py38h4452504_1.tar.bz2  2 years and 1 month ago 76 main
conda 9.5 MB | osx-64/spot-2.11.2-py310h7a76584_1.tar.bz2  2 years and 1 month ago 73 main
conda 9.5 MB | osx-64/spot-2.11.2-py39h811bc5e_1.tar.bz2  2 years and 1 month ago 72 main
conda 9.5 MB | osx-64/spot-2.11.2-py39h7a8716b_1.tar.bz2  2 years and 1 month ago 77 main
conda 9.6 MB | osx-64/spot-2.11.2-py38h4cd09af_1.tar.bz2  2 years and 1 month ago 73 main
conda 9.5 MB | osx-64/spot-2.11.2-py311h814d153_1.tar.bz2  2 years and 1 month ago 70 main
conda 9.7 MB | linux-64/spot-2.11.2-py38hfa26641_1.tar.bz2  2 years and 1 month ago 1128 main
conda 9.7 MB | linux-64/spot-2.11.2-py311ha362b79_1.tar.bz2  2 years and 1 month ago 1104 main
conda 9.7 MB | linux-64/spot-2.11.2-py39h5a03fae_1.tar.bz2  2 years and 1 month ago 1509 main
conda 9.7 MB | linux-64/spot-2.11.2-py39h0e26352_1.tar.bz2  2 years and 1 month ago 1510 main
conda 9.7 MB | linux-64/spot-2.11.2-py38ha8be2cd_1.tar.bz2  2 years and 1 month ago 1102 main
conda 9.7 MB | linux-64/spot-2.11.2-py310hd8f1fbe_1.tar.bz2  2 years and 1 month ago 1091 main
conda 9.5 MB | osx-64/spot-2.11.2-py39h7a8716b_0.tar.bz2  2 years and 1 month ago 73 main
conda 9.6 MB | osx-64/spot-2.11.2-py38h4cd09af_0.tar.bz2  2 years and 1 month ago 73 main
conda 9.5 MB | osx-64/spot-2.11.2-py310h7a76584_0.tar.bz2  2 years and 1 month ago 72 main
conda 9.5 MB | osx-64/spot-2.11.2-py39h811bc5e_0.tar.bz2  2 years and 1 month ago 71 main
conda 9.7 MB | linux-64/spot-2.11.2-py38ha8be2cd_0.tar.bz2  2 years and 1 month ago 1111 main
conda 9.6 MB | linux-64/spot-2.11.2-py39h5a03fae_0.tar.bz2  2 years and 1 month ago 1501 main
conda 9.7 MB | linux-64/spot-2.11.2-py310hd8f1fbe_0.tar.bz2  2 years and 1 month ago 1115 main
conda 9.7 MB | linux-64/spot-2.11.2-py39h0e26352_0.tar.bz2  2 years and 1 month ago 1501 main
conda 9.7 MB | linux-64/spot-2.11.2-py38hfa26641_0.tar.bz2  2 years and 1 month ago 1110 main
© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy