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.0 MB | osx-64/spot-2.10.6-py310h9d931ec_0.tar.bz2  2 years and 6 months ago 94 main
conda 9.1 MB | osx-64/spot-2.10.6-py39h9dae540_0.tar.bz2  2 years and 6 months ago 83 main
conda 9.1 MB | osx-64/spot-2.10.6-py38hf1f1e57_0.tar.bz2  2 years and 6 months ago 82 main
conda 9.1 MB | osx-64/spot-2.10.6-py39hfd1d529_0.tar.bz2  2 years and 6 months ago 92 main
conda 9.1 MB | osx-64/spot-2.10.6-py38h038c8f4_0.tar.bz2  2 years and 6 months ago 91 main
conda 9.0 MB | osx-64/spot-2.10.6-py37h0582d14_0.tar.bz2  2 years and 6 months ago 86 main
conda 9.2 MB | linux-64/spot-2.10.6-py38ha8be2cd_0.tar.bz2  2 years and 6 months ago 1285 main
conda 9.2 MB | linux-64/spot-2.10.6-py39h0e26352_0.tar.bz2  2 years and 6 months ago 1838 main
conda 9.1 MB | linux-64/spot-2.10.6-py310hd8f1fbe_0.tar.bz2  2 years and 6 months ago 1336 main
conda 9.2 MB | linux-64/spot-2.10.6-py39h5a03fae_0.tar.bz2  2 years and 6 months ago 1924 main
conda 9.2 MB | linux-64/spot-2.10.6-py37hd23a5d3_0.tar.bz2  2 years and 6 months ago 1373 main
conda 9.2 MB | linux-64/spot-2.10.6-py38hfa26641_0.tar.bz2  2 years and 6 months ago 1385 main

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