About Anaconda Help Download Anaconda

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot
Type Size Name Uploaded Downloads Labels
conda 9.1 MB | osx-64/spot-2.10.4-py39h9dae540_1.tar.bz2  2 years and 11 months ago 83 main
conda 9.0 MB | osx-64/spot-2.10.4-py38hf1f1e57_1.tar.bz2  2 years and 11 months ago 85 main
conda 9.0 MB | osx-64/spot-2.10.4-py38h038c8f4_1.tar.bz2  2 years and 11 months ago 81 main
conda 9.0 MB | osx-64/spot-2.10.4-py39hfd1d529_1.tar.bz2  2 years and 11 months ago 83 main
conda 9.0 MB | osx-64/spot-2.10.4-py37h0582d14_1.tar.bz2  2 years and 11 months ago 86 main
conda 9.1 MB | osx-64/spot-2.10.4-py310h9d931ec_1.tar.bz2  2 years and 11 months ago 83 main
conda 9.2 MB | linux-64/spot-2.10.4-py38ha8be2cd_1.tar.bz2  2 years and 11 months ago 1560 main
conda 9.2 MB | linux-64/spot-2.10.4-py38hfa26641_1.tar.bz2  2 years and 11 months ago 1575 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hd23a5d3_1.tar.bz2  2 years and 11 months ago 1605 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h5a03fae_1.tar.bz2  2 years and 11 months ago 2130 main
conda 9.2 MB | linux-64/spot-2.10.4-py310hd8f1fbe_1.tar.bz2  2 years and 11 months ago 1583 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h0e26352_1.tar.bz2  2 years and 11 months ago 2188 main
conda 8.8 MB | osx-64/spot-2.10.4-py37hd8d24ac_0.tar.bz2  3 years and 1 month ago 83 main
conda 8.9 MB | osx-64/spot-2.10.4-py38ha048514_0.tar.bz2  3 years and 1 month ago 80 main
conda 8.8 MB | osx-64/spot-2.10.4-py310hba3363e_0.tar.bz2  3 years and 1 month ago 85 main
conda 8.8 MB | osx-64/spot-2.10.4-py39h9fcab8e_0.tar.bz2  3 years and 1 month ago 83 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hcd2ae1e_0.tar.bz2  3 years and 1 month ago 1602 main
conda 9.2 MB | linux-64/spot-2.10.4-py39he80948d_0.tar.bz2  3 years and 1 month ago 2176 main
conda 9.2 MB | linux-64/spot-2.10.4-py38h709712a_0.tar.bz2  3 years and 1 month ago 1593 main
conda 9.1 MB | linux-64/spot-2.10.4-py310h122e73d_0.tar.bz2  3 years and 1 month ago 1580 main

© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.10) Legal | Privacy Policy