About Anaconda Help Download Anaconda
Sign In
Anaconda.cloud

conda-forge / packages / spot

Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot

Filters
Type Size Name Uploaded Downloads Labels
conda 8.8 MB | osx-64/spot-2.10.1-py38ha048514_0.tar.bz2  3 years and 15 days ago 77 main
conda 8.9 MB | osx-64/spot-2.10.1-py39h9fcab8e_0.tar.bz2  3 years and 15 days ago 75 main
conda 8.8 MB | osx-64/spot-2.10.1-py37hd8d24ac_0.tar.bz2  3 years and 15 days ago 76 main
conda 8.8 MB | osx-64/spot-2.10.1-py310hba3363e_0.tar.bz2  3 years and 15 days ago 77 main
conda 9.1 MB | linux-64/spot-2.10.1-py310h122e73d_0.tar.bz2  3 years and 15 days ago 1294 main
conda 9.2 MB | linux-64/spot-2.10.1-py39he80948d_0.tar.bz2  3 years and 15 days ago 1866 main
conda 9.1 MB | linux-64/spot-2.10.1-py37hcd2ae1e_0.tar.bz2  3 years and 15 days ago 1282 main
conda 9.1 MB | linux-64/spot-2.10.1-py38h709712a_0.tar.bz2  3 years and 15 days ago 1289 main
© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy