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 7.8 MB | linux-64/spot-2.11.6-py39h3d6467e_1.conda  1 year and 1 month ago 1056 main
conda 8.0 MB | linux-64/spot-2.11.6-py38h17151c0_1.conda  1 year and 1 month ago 985 main
conda 7.8 MB | linux-64/spot-2.11.6-py39hc10206b_1.conda  1 year and 1 month ago 1032 main
conda 7.9 MB | linux-64/spot-2.11.6-py310hc6cd4ac_1.conda  1 year and 1 month ago 1125 main
conda 7.9 MB | linux-64/spot-2.11.6-py38hf7898d5_1.conda  1 year and 1 month ago 940 main
conda 8.0 MB | linux-64/spot-2.11.6-py311hb755f60_1.conda  1 year and 1 month ago 1003 main
conda 8.9 MB | linux-ppc64le/spot-2.11.6-py38h50dc37f_0.conda  1 year and 4 months ago 77 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py39h21fae4e_0.conda  1 year and 4 months ago 75 main
conda 7.7 MB | linux-aarch64/spot-2.11.6-py38hed0da46_0.conda  1 year and 4 months ago 103 main
conda 7.4 MB | linux-aarch64/spot-2.11.6-py311h1bf5055_0.conda  1 year and 4 months ago 103 main
conda 7.4 MB | linux-aarch64/spot-2.11.6-py39he8647fe_0.conda  1 year and 4 months ago 141 main
conda 7.5 MB | linux-aarch64/spot-2.11.6-py310h0d1d2ea_0.conda  1 year and 4 months ago 103 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py39h14dd6f5_0.conda  1 year and 4 months ago 77 main
conda 7.5 MB | linux-aarch64/spot-2.11.6-py38hccc77a9_0.conda  1 year and 4 months ago 96 main
conda 8.9 MB | linux-ppc64le/spot-2.11.6-py38hadfccef_0.conda  1 year and 4 months ago 75 main
conda 7.8 MB | linux-aarch64/spot-2.11.6-py39hb874dab_0.conda  1 year and 4 months ago 110 main
conda 9.0 MB | linux-ppc64le/spot-2.11.6-py311he7ff939_0.conda  1 year and 4 months ago 80 main
conda 8.9 MB | linux-ppc64le/spot-2.11.6-py310hcc3874d_0.conda  1 year and 4 months ago 74 main
conda 7.1 MB | osx-64/spot-2.11.6-py38h940360d_0.conda  1 year and 4 months ago 210 main
conda 7.0 MB | osx-64/spot-2.11.6-py310h9e9d8ca_0.conda  1 year and 4 months ago 165 main
conda 7.0 MB | osx-64/spot-2.11.6-py38h03f9691_0.conda  1 year and 4 months ago 167 main
conda 6.9 MB | osx-64/spot-2.11.6-py39h840bb9f_0.conda  1 year and 4 months ago 176 main
conda 7.0 MB | osx-64/spot-2.11.6-py39h8b0970b_0.conda  1 year and 4 months ago 170 main
conda 7.0 MB | osx-64/spot-2.11.6-py311hdf8f085_0.conda  1 year and 4 months ago 189 main
conda 7.9 MB | linux-64/spot-2.11.6-py38hf7898d5_0.conda  1 year and 4 months ago 954 main
conda 8.0 MB | linux-64/spot-2.11.6-py310hc6cd4ac_0.conda  1 year and 4 months ago 1083 main
conda 7.8 MB | linux-64/spot-2.11.6-py39h3d6467e_0.conda  1 year and 4 months ago 1082 main
conda 7.9 MB | linux-64/spot-2.11.6-py38h17151c0_0.conda  1 year and 4 months ago 969 main
conda 7.8 MB | linux-64/spot-2.11.6-py39hc10206b_0.conda  1 year and 4 months ago 1094 main
conda 7.8 MB | linux-64/spot-2.11.6-py311hb755f60_0.conda  1 year and 4 months ago 959 main

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