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 6.9 MB | osx-64/spot-2.11.3-py311h814d153_0.conda  2 years and 4 days ago 198 main
conda 6.8 MB | osx-64/spot-2.11.3-py39h811bc5e_0.conda  2 years and 4 days ago 175 main
conda 6.8 MB | osx-64/spot-2.11.3-py310h7a76584_0.conda  2 years and 4 days ago 197 main
conda 6.9 MB | osx-64/spot-2.11.3-py38h4452504_0.conda  2 years and 4 days ago 188 main
conda 6.8 MB | osx-64/spot-2.11.3-py39h7a8716b_0.conda  2 years and 4 days ago 205 main
conda 6.9 MB | osx-64/spot-2.11.3-py38h4cd09af_0.conda  2 years and 4 days ago 189 main
conda 7.7 MB | linux-64/spot-2.11.3-py310heca2aa9_0.conda  2 years and 4 days ago 1136 main
conda 7.5 MB | linux-64/spot-2.11.3-py39h227be39_0.conda  2 years and 4 days ago 1494 main
conda 7.2 MB | linux-64/spot-2.11.3-py39he08593d_0.conda  2 years and 4 days ago 1505 main
conda 7.5 MB | linux-64/spot-2.11.3-py38h8dc9893_0.conda  2 years and 4 days ago 1192 main
conda 7.6 MB | linux-64/spot-2.11.3-py311hcafe171_0.conda  2 years and 4 days ago 1165 main
conda 7.8 MB | linux-64/spot-2.11.3-py38ha7a3bcd_0.conda  2 years and 4 days ago 1135 main

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