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 9.2 MB | linux-64/spot-2.10.5-py37hd23a5d3_0.tar.bz2  2 years and 7 months ago 1297 main
conda 9.2 MB | linux-64/spot-2.10.5-py310hd8f1fbe_0.tar.bz2  2 years and 7 months ago 1287 main
conda 9.2 MB | linux-64/spot-2.10.5-py38hfa26641_0.tar.bz2  2 years and 7 months ago 1300 main
conda 9.2 MB | linux-64/spot-2.10.5-py39h5a03fae_0.tar.bz2  2 years and 7 months ago 1847 main
conda 9.2 MB | linux-64/spot-2.10.5-py39h0e26352_0.tar.bz2  2 years and 7 months ago 1882 main
conda 9.2 MB | linux-64/spot-2.10.5-py38ha8be2cd_0.tar.bz2  2 years and 7 months ago 1299 main
© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy