About Anaconda Help Download Anaconda

a collection of Gymnasium environments for saturation provers

copied from cf-staging / gym-saturation
Type Size Name Uploaded Downloads Labels
conda 35.8 kB | noarch/gym-saturation-0.12.3-pyhd8ed1ab_0.conda  1 day and 1 hour ago 21 main
conda 37.9 kB | noarch/gym-saturation-0.12.2-pyhd8ed1ab_0.conda  6 days and 20 hours ago 31 main
conda 37.7 kB | noarch/gym-saturation-0.12.1-pyhd8ed1ab_0.conda  1 month and 20 days ago 204 main
conda 37.6 kB | noarch/gym-saturation-0.11.9-pyhd8ed1ab_0.conda  4 months and 15 days ago 348 main
conda 37.8 kB | noarch/gym-saturation-0.11.6-pyhd8ed1ab_0.conda  11 months and 19 days ago 852 main
conda 37.9 kB | noarch/gym-saturation-0.11.5-pyhd8ed1ab_0.conda  1 year and 21 days ago 846 main
conda 37.9 kB | noarch/gym-saturation-0.11.4-pyhd8ed1ab_0.conda  1 year and 1 month ago 845 main
conda 38.0 kB | noarch/gym-saturation-0.11.3-pyhd8ed1ab_0.conda  1 year and 3 months ago 908 main
conda 37.8 kB | noarch/gym-saturation-0.11.2-pyhd8ed1ab_0.conda  1 year and 4 months ago 856 main
conda 38.1 kB | noarch/gym-saturation-0.11.1-pyhd8ed1ab_0.conda  1 year and 5 months ago 945 main
conda 36.0 kB | noarch/gym-saturation-0.11.0-pyhd8ed1ab_0.conda  1 year and 5 months ago 951 main
conda 44.0 kB | noarch/gym-saturation-0.10.5-pyhd8ed1ab_0.conda  1 year and 5 months ago 923 main
conda 43.9 kB | noarch/gym-saturation-0.10.4-pyhd8ed1ab_0.conda  1 year and 6 months ago 912 main
conda 42.8 kB | noarch/gym-saturation-0.10.3-pyhd8ed1ab_0.conda  1 year and 7 months ago 1038 main
conda 42.3 kB | noarch/gym-saturation-0.10.2-pyhd8ed1ab_0.conda  1 year and 8 months ago 1041 main
conda 42.4 kB | noarch/gym-saturation-0.10.1-pyhd8ed1ab_0.conda  1 year and 9 months ago 1230 main
conda 42.7 kB | noarch/gym-saturation-0.10.0-pyhd8ed1ab_0.conda  1 year and 10 months ago 1195 main
conda 42.6 kB | noarch/gym-saturation-0.9.3-pyhd8ed1ab_0.conda  1 year and 10 months ago 1190 main
conda 41.8 kB | noarch/gym-saturation-0.9.2-pyhd8ed1ab_0.conda  1 year and 11 months ago 1212 main
conda 41.9 kB | noarch/gym-saturation-0.9.1-pyhd8ed1ab_0.conda  1 year and 11 months ago 1236 main
conda 41.5 kB | noarch/gym-saturation-0.9.0-pyhd8ed1ab_0.conda  1 year and 11 months ago 1230 main
conda 47.4 kB | noarch/gym-saturation-0.8.2-pyhd8ed1ab_0.conda  1 year and 11 months ago 1278 main
conda 45.8 kB | noarch/gym-saturation-0.8.1-pyhd8ed1ab_0.conda  2 years and 14 days ago 1295 main
conda 45.7 kB | noarch/gym-saturation-0.8.0-pyhd8ed1ab_0.conda  2 years and 15 days ago 1303 main
conda 39.6 kB | noarch/gym-saturation-0.7.0-pyhd8ed1ab_0.conda  2 years and 19 days ago 1316 main
conda 35.0 kB | noarch/gym-saturation-0.4.3-pyhd8ed1ab_0.tar.bz2  2 years and 6 months ago 1658 main
conda 35.2 kB | noarch/gym-saturation-0.4.2-pyhd8ed1ab_0.tar.bz2  2 years and 7 months ago 1682 main
conda 34.6 kB | noarch/gym-saturation-0.4.1-pyhd8ed1ab_0.tar.bz2  2 years and 8 months ago 1853 main
conda 33.2 kB | noarch/gym-saturation-0.3.11-pyhd8ed1ab_0.tar.bz2  2 years and 9 months ago 1943 main
conda 32.6 kB | noarch/gym-saturation-0.3.10-pyhd8ed1ab_0.tar.bz2  2 years and 9 months ago 2001 main
conda 51.9 kB | noarch/gym-saturation-0.3.8-pyhd8ed1ab_0.tar.bz2  2 years and 10 months ago 1980 main
conda 52.0 kB | noarch/gym-saturation-0.3.7-pyhd8ed1ab_0.tar.bz2  2 years and 11 months ago 1990 main
conda 51.6 kB | noarch/gym-saturation-0.3.6-pyhd8ed1ab_0.tar.bz2  2 years and 11 months ago 2024 main
conda 49.6 kB | noarch/gym-saturation-0.3.0-pyhd8ed1ab_0.tar.bz2  2 years and 11 months ago 2018 main
conda 49.7 kB | noarch/gym-saturation-0.2.11-pyhd8ed1ab_0.tar.bz2  2 years and 11 months ago 2013 main
conda 49.6 kB | noarch/gym-saturation-0.2.10-pyhd8ed1ab_0.tar.bz2  2 years and 11 months ago 2034 main
conda 49.5 kB | noarch/gym-saturation-0.2.9-pyhd8ed1ab_0.tar.bz2  3 years and 22 days ago 2043 main
conda 49.5 kB | noarch/gym-saturation-0.2.8-pyhd8ed1ab_0.tar.bz2  3 years and 1 month ago 2010 main
conda 49.0 kB | noarch/gym-saturation-0.2.7-pyhd8ed1ab_0.tar.bz2  3 years and 1 month ago 2053 main
conda 50.2 kB | noarch/gym-saturation-0.2.6-pyhd8ed1ab_0.tar.bz2  3 years and 1 month ago 2052 main
conda 49.9 kB | noarch/gym-saturation-0.2.3-pyhd8ed1ab_0.tar.bz2  3 years and 1 month ago 2028 main

© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.9) Legal | Privacy Policy