About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / spot

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-post-staging / spot

Filters
Type Size Name Uploaded Downloads Labels
conda 6.9 MB | osx-64/spot-2.11.4-py38h4cd09af_0.conda  2 years and 10 months ago 425 main
conda 6.4 MB | osx-64/spot-2.11.4-py38h4452504_0.conda  2 years and 10 months ago 450 main
conda 6.9 MB | osx-64/spot-2.11.4-py39h7a8716b_0.conda  2 years and 10 months ago 436 main
conda 7.1 MB | osx-64/spot-2.11.4-py311h814d153_0.conda  2 years and 10 months ago 443 main
conda 7.0 MB | osx-64/spot-2.11.4-py39h811bc5e_0.conda  2 years and 10 months ago 410 main
conda 7.9 MB | linux-64/spot-2.11.4-py39he08593d_0.conda  2 years and 10 months ago 2320 main
conda 7.8 MB | linux-64/spot-2.11.4-py311hcafe171_0.conda  2 years and 10 months ago 2069 main
conda 7.8 MB | linux-64/spot-2.11.4-py38ha7a3bcd_0.conda  2 years and 10 months ago 2086 main
conda 7.9 MB | linux-64/spot-2.11.4-py38h8dc9893_0.conda  2 years and 10 months ago 1991 main
conda 7.5 MB | linux-64/spot-2.11.4-py310heca2aa9_0.conda  2 years and 10 months ago 2070 main
conda 7.1 MB | linux-64/spot-2.11.4-py39h227be39_0.conda  2 years and 10 months ago 2354 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.13) Legal | Privacy Policy