About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / gym-saturation

a collection of Gymnasium environments for saturation provers

copied from cf-post-staging / gym-saturation

Filters
Type Size Name Uploaded Downloads Labels
conda 28.9 kB | noarch/gym-saturation-1.0.2-pyhd8ed1ab_0.conda  3 months and 3 days ago 203 main
conda 28.9 kB | noarch/gym-saturation-1.0.1-pyhd8ed1ab_0.conda  4 months and 14 days ago 285 main
conda 35.7 kB | noarch/gym-saturation-0.12.4-pyhd8ed1ab_0.conda  6 months and 21 hours ago 387 main
conda 35.8 kB | noarch/gym-saturation-0.12.3-pyhd8ed1ab_0.conda  6 months and 15 days ago 412 main
conda 37.9 kB | noarch/gym-saturation-0.12.2-pyhd8ed1ab_0.conda  6 months and 20 days ago 394 main
conda 37.7 kB | noarch/gym-saturation-0.12.1-pyhd8ed1ab_0.conda  8 months and 6 days ago 573 main
conda 37.6 kB | noarch/gym-saturation-0.11.9-pyhd8ed1ab_0.conda  10 months and 29 days ago 743 main
conda 37.8 kB | noarch/gym-saturation-0.11.6-pyhd8ed1ab_0.conda  1 year and 6 months ago 1234 main
conda 37.9 kB | noarch/gym-saturation-0.11.5-pyhd8ed1ab_0.conda  1 year and 7 months ago 1233 main
conda 37.9 kB | noarch/gym-saturation-0.11.4-pyhd8ed1ab_0.conda  1 year and 8 months ago 1212 main
conda 38.0 kB | noarch/gym-saturation-0.11.3-pyhd8ed1ab_0.conda  1 year and 9 months ago 1274 main
conda 37.8 kB | noarch/gym-saturation-0.11.2-pyhd8ed1ab_0.conda  1 year and 10 months ago 1214 main
conda 38.1 kB | noarch/gym-saturation-0.11.1-pyhd8ed1ab_0.conda  1 year and 11 months ago 1302 main
conda 36.0 kB | noarch/gym-saturation-0.11.0-pyhd8ed1ab_0.conda  2 years and 7 days ago 1305 main
conda 44.0 kB | noarch/gym-saturation-0.10.5-pyhd8ed1ab_0.conda  2 years and 12 days ago 1281 main
conda 43.9 kB | noarch/gym-saturation-0.10.4-pyhd8ed1ab_0.conda  2 years and 1 month ago 1279 main
conda 42.8 kB | noarch/gym-saturation-0.10.3-pyhd8ed1ab_0.conda  2 years and 2 months ago 1415 main
conda 42.3 kB | noarch/gym-saturation-0.10.2-pyhd8ed1ab_0.conda  2 years and 3 months ago 1407 main
conda 42.4 kB | noarch/gym-saturation-0.10.1-pyhd8ed1ab_0.conda  2 years and 4 months ago 1575 main
conda 42.7 kB | noarch/gym-saturation-0.10.0-pyhd8ed1ab_0.conda  2 years and 5 months ago 1560 main
conda 42.6 kB | noarch/gym-saturation-0.9.3-pyhd8ed1ab_0.conda  2 years and 5 months ago 1559 main
conda 41.8 kB | noarch/gym-saturation-0.9.2-pyhd8ed1ab_0.conda  2 years and 5 months ago 1579 main
conda 41.9 kB | noarch/gym-saturation-0.9.1-pyhd8ed1ab_0.conda  2 years and 5 months ago 1610 main
conda 41.5 kB | noarch/gym-saturation-0.9.0-pyhd8ed1ab_0.conda  2 years and 5 months ago 1593 main
conda 47.4 kB | noarch/gym-saturation-0.8.2-pyhd8ed1ab_0.conda  2 years and 6 months ago 1645 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy