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 7 months ago 81 main
conda 9.0 MB | osx-64/spot-2.10.4-py38hf1f1e57_1.tar.bz2  2 years and 7 months ago 83 main
conda 9.0 MB | osx-64/spot-2.10.4-py38h038c8f4_1.tar.bz2  2 years and 7 months ago 80 main
conda 9.0 MB | osx-64/spot-2.10.4-py39hfd1d529_1.tar.bz2  2 years and 7 months ago 81 main
conda 9.0 MB | osx-64/spot-2.10.4-py37h0582d14_1.tar.bz2  2 years and 7 months ago 84 main
conda 9.1 MB | osx-64/spot-2.10.4-py310h9d931ec_1.tar.bz2  2 years and 7 months ago 81 main
conda 9.2 MB | linux-64/spot-2.10.4-py38ha8be2cd_1.tar.bz2  2 years and 7 months ago 1291 main
conda 9.2 MB | linux-64/spot-2.10.4-py38hfa26641_1.tar.bz2  2 years and 7 months ago 1297 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hd23a5d3_1.tar.bz2  2 years and 7 months ago 1321 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h5a03fae_1.tar.bz2  2 years and 7 months ago 1858 main
conda 9.2 MB | linux-64/spot-2.10.4-py310hd8f1fbe_1.tar.bz2  2 years and 7 months ago 1305 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h0e26352_1.tar.bz2  2 years and 7 months ago 1908 main
conda 8.8 MB | osx-64/spot-2.10.4-py37hd8d24ac_0.tar.bz2  2 years and 10 months ago 81 main
conda 8.9 MB | osx-64/spot-2.10.4-py38ha048514_0.tar.bz2  2 years and 10 months ago 78 main
conda 8.8 MB | osx-64/spot-2.10.4-py310hba3363e_0.tar.bz2  2 years and 10 months ago 83 main
conda 8.8 MB | osx-64/spot-2.10.4-py39h9fcab8e_0.tar.bz2  2 years and 10 months ago 82 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hcd2ae1e_0.tar.bz2  2 years and 10 months ago 1320 main
conda 9.2 MB | linux-64/spot-2.10.4-py39he80948d_0.tar.bz2  2 years and 10 months ago 1894 main
conda 9.2 MB | linux-64/spot-2.10.4-py38h709712a_0.tar.bz2  2 years and 10 months ago 1314 main
conda 9.1 MB | linux-64/spot-2.10.4-py310h122e73d_0.tar.bz2  2 years and 10 months ago 1301 main

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy