Platform for manipulation of LTL formulas and ω-automata.

copied from cf-staging / spot
Type Size Name Uploaded Uploader Downloads Labels
conda 9.0 MB | osx-64/spot-2.10.6-py310h9d931ec_0.tar.bz2  4 months and 9 days ago cf-staging 41 main
conda 9.1 MB | osx-64/spot-2.10.6-py39h9dae540_0.tar.bz2  4 months and 9 days ago cf-staging 32 main
conda 9.1 MB | osx-64/spot-2.10.6-py38hf1f1e57_0.tar.bz2  4 months and 9 days ago cf-staging 32 main
conda 9.1 MB | osx-64/spot-2.10.6-py39hfd1d529_0.tar.bz2  4 months and 9 days ago cf-staging 39 main
conda 9.1 MB | osx-64/spot-2.10.6-py38h038c8f4_0.tar.bz2  4 months and 9 days ago cf-staging 39 main
conda 9.0 MB | osx-64/spot-2.10.6-py37h0582d14_0.tar.bz2  4 months and 9 days ago cf-staging 33 main
conda 9.2 MB | linux-64/spot-2.10.6-py38ha8be2cd_0.tar.bz2  4 months and 9 days ago cf-staging 210 main
conda 9.2 MB | linux-64/spot-2.10.6-py39h0e26352_0.tar.bz2  4 months and 9 days ago cf-staging 347 main
conda 9.1 MB | linux-64/spot-2.10.6-py310hd8f1fbe_0.tar.bz2  4 months and 9 days ago cf-staging 253 main
conda 9.2 MB | linux-64/spot-2.10.6-py39h5a03fae_0.tar.bz2  4 months and 9 days ago cf-staging 391 main
conda 9.2 MB | linux-64/spot-2.10.6-py37hd23a5d3_0.tar.bz2  4 months and 9 days ago cf-staging 249 main
conda 9.2 MB | linux-64/spot-2.10.6-py38hfa26641_0.tar.bz2  4 months and 9 days ago cf-staging 252 main
conda 9.2 MB | linux-64/spot-2.10.5-py37hd23a5d3_0.tar.bz2  4 months and 24 days ago cf-staging 228 main
conda 9.2 MB | linux-64/spot-2.10.5-py310hd8f1fbe_0.tar.bz2  4 months and 24 days ago cf-staging 227 main
conda 9.2 MB | linux-64/spot-2.10.5-py38hfa26641_0.tar.bz2  4 months and 24 days ago cf-staging 224 main
conda 9.2 MB | linux-64/spot-2.10.5-py39h5a03fae_0.tar.bz2  4 months and 24 days ago cf-staging 358 main
conda 9.2 MB | linux-64/spot-2.10.5-py39h0e26352_0.tar.bz2  4 months and 24 days ago cf-staging 354 main
conda 9.2 MB | linux-64/spot-2.10.5-py38ha8be2cd_0.tar.bz2  4 months and 24 days ago cf-staging 226 main
conda 9.1 MB | osx-64/spot-2.10.4-py39h9dae540_1.tar.bz2  5 months and 13 days ago cf-staging 31 main
conda 9.0 MB | osx-64/spot-2.10.4-py38hf1f1e57_1.tar.bz2  5 months and 13 days ago cf-staging 32 main
conda 9.0 MB | osx-64/spot-2.10.4-py38h038c8f4_1.tar.bz2  5 months and 13 days ago cf-staging 30 main
conda 9.0 MB | osx-64/spot-2.10.4-py39hfd1d529_1.tar.bz2  5 months and 13 days ago cf-staging 31 main
conda 9.0 MB | osx-64/spot-2.10.4-py37h0582d14_1.tar.bz2  5 months and 13 days ago cf-staging 33 main
conda 9.1 MB | osx-64/spot-2.10.4-py310h9d931ec_1.tar.bz2  5 months and 13 days ago cf-staging 30 main
conda 9.2 MB | linux-64/spot-2.10.4-py38ha8be2cd_1.tar.bz2  5 months and 13 days ago cf-staging 224 main
conda 9.2 MB | linux-64/spot-2.10.4-py38hfa26641_1.tar.bz2  5 months and 13 days ago cf-staging 224 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hd23a5d3_1.tar.bz2  5 months and 13 days ago cf-staging 230 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h5a03fae_1.tar.bz2  5 months and 13 days ago cf-staging 359 main
conda 9.2 MB | linux-64/spot-2.10.4-py310hd8f1fbe_1.tar.bz2  5 months and 13 days ago cf-staging 243 main
conda 9.2 MB | linux-64/spot-2.10.4-py39h0e26352_1.tar.bz2  5 months and 13 days ago cf-staging 367 main
conda 8.8 MB | osx-64/spot-2.10.4-py37hd8d24ac_0.tar.bz2  7 months and 25 days ago cf-staging 29 main
conda 8.9 MB | osx-64/spot-2.10.4-py38ha048514_0.tar.bz2  7 months and 25 days ago cf-staging 29 main
conda 8.8 MB | osx-64/spot-2.10.4-py310hba3363e_0.tar.bz2  7 months and 25 days ago cf-staging 32 main
conda 8.8 MB | osx-64/spot-2.10.4-py39h9fcab8e_0.tar.bz2  7 months and 25 days ago cf-staging 30 main
conda 9.2 MB | linux-64/spot-2.10.4-py37hcd2ae1e_0.tar.bz2  7 months and 25 days ago cf-staging 231 main
conda 9.2 MB | linux-64/spot-2.10.4-py39he80948d_0.tar.bz2  7 months and 25 days ago cf-staging 377 main
conda 9.2 MB | linux-64/spot-2.10.4-py38h709712a_0.tar.bz2  7 months and 25 days ago cf-staging 243 main
conda 9.1 MB | linux-64/spot-2.10.4-py310h122e73d_0.tar.bz2  7 months and 25 days ago cf-staging 236 main
conda 8.8 MB | osx-64/spot-2.10.3-py38ha048514_0.tar.bz2  8 months and 12 days ago cf-staging 30 main
conda 8.8 MB | osx-64/spot-2.10.3-py37hd8d24ac_0.tar.bz2  8 months and 12 days ago cf-staging 28 main
conda 8.8 MB | osx-64/spot-2.10.3-py310hba3363e_0.tar.bz2  8 months and 12 days ago cf-staging 29 main
conda 8.8 MB | osx-64/spot-2.10.3-py39h9fcab8e_0.tar.bz2  8 months and 12 days ago cf-staging 28 main
conda 9.1 MB | linux-64/spot-2.10.3-py39he80948d_0.tar.bz2  8 months and 12 days ago cf-staging 368 main
conda 9.1 MB | linux-64/spot-2.10.3-py38h709712a_0.tar.bz2  8 months and 12 days ago cf-staging 238 main
conda 9.1 MB | linux-64/spot-2.10.3-py37hcd2ae1e_0.tar.bz2  8 months and 12 days ago cf-staging 236 main
conda 9.1 MB | linux-64/spot-2.10.3-py310h122e73d_0.tar.bz2  8 months and 12 days ago cf-staging 235 main
conda 8.8 MB | osx-64/spot-2.10.2-py310hba3363e_0.tar.bz2  9 months and 24 days ago cf-staging 26 main
conda 8.8 MB | osx-64/spot-2.10.2-py37hd8d24ac_0.tar.bz2  9 months and 24 days ago cf-staging 28 main
conda 8.8 MB | osx-64/spot-2.10.2-py39h9fcab8e_0.tar.bz2  9 months and 24 days ago cf-staging 26 main
conda 8.8 MB | osx-64/spot-2.10.2-py38ha048514_0.tar.bz2  9 months and 24 days ago cf-staging 28 main

© 2022 Anaconda, Inc. All Rights Reserved. (v2.37.1 62cb502a) Legal | Privacy Policy