gym-saturation
a collection of Gymnasium environments for saturation provers
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
noarch/gym-saturation-1.0.4-pyhd8ed1ab_0.conda | conda | 1.0.4 | noarch | main | Dec 26, 2025, 04:30 PM | 29.1 KB | 130 | |
noarch/gym-saturation-1.0.3-pyhd8ed1ab_0.conda | conda | 1.0.3 | noarch | main | Oct 7, 2025, 07:25 AM | 29.05 KB | 288 | |
noarch/gym-saturation-1.0.2-pyhd8ed1ab_0.conda | conda | 1.0.2 | noarch | main | Jun 28, 2025, 11:56 AM | 28.95 KB | 423 | |
noarch/gym-saturation-1.0.1-pyhd8ed1ab_0.conda | conda | 1.0.1 | noarch | main | May 16, 2025, 06:07 PM | 28.92 KB | 522 | |
noarch/gym-saturation-0.12.4-pyhd8ed1ab_0.conda | conda | 0.12.4 | noarch | main | Mar 31, 2025, 08:09 PM | 35.73 KB | 619 | |
noarch/gym-saturation-0.12.3-pyhd8ed1ab_0.conda | conda | 0.12.3 | noarch | main | Mar 16, 2025, 03:44 PM | 35.84 KB | 633 | |
noarch/gym-saturation-0.12.2-pyhd8ed1ab_0.conda | conda | 0.12.2 | noarch | main | Mar 10, 2025, 08:22 PM | 37.87 KB | 619 | |
noarch/gym-saturation-0.12.1-pyhd8ed1ab_0.conda | conda | 0.12.1 | noarch | main | Jan 25, 2025, 11:02 AM | 37.68 KB | 806 | |
noarch/gym-saturation-0.11.9-pyhd8ed1ab_0.conda | conda | 0.11.9 | noarch | main | Nov 2, 2024, 01:26 PM | 37.65 KB | 979 | |
noarch/gym-saturation-0.11.6-pyhd8ed1ab_0.conda | conda | 0.11.6 | noarch | main | Mar 26, 2024, 03:05 PM | 37.84 KB | 1.5K | |
noarch/gym-saturation-0.11.5-pyhd8ed1ab_0.conda | conda | 0.11.5 | noarch | main | Feb 24, 2024, 02:13 PM | 37.92 KB | 1.5K | |
noarch/gym-saturation-0.11.4-pyhd8ed1ab_0.conda | conda | 0.11.4 | noarch | main | Jan 21, 2024, 11:18 AM | 37.88 KB | 1.4K | |
noarch/gym-saturation-0.11.3-pyhd8ed1ab_0.conda | conda | 0.11.3 | noarch | main | Dec 17, 2023, 10:16 AM | 38.04 KB | 1.5K | |
noarch/gym-saturation-0.11.2-pyhd8ed1ab_0.conda | conda | 0.11.2 | noarch | main | Nov 10, 2023, 11:33 AM | 37.79 KB | 1.4K | |
noarch/gym-saturation-0.11.1-pyhd8ed1ab_0.conda | conda | 0.11.1 | noarch | main | Oct 12, 2023, 10:53 AM | 38.1 KB | 1.5K | |
noarch/gym-saturation-0.11.0-pyhd8ed1ab_0.conda | conda | 0.11.0 | noarch | main | Sep 24, 2023, 10:50 AM | 35.98 KB | 1.5K | |
noarch/gym-saturation-0.10.5-pyhd8ed1ab_0.conda | conda | 0.10.5 | noarch | main | Sep 19, 2023, 07:36 AM | 44.01 KB | 1.5K | |
noarch/gym-saturation-0.10.4-pyhd8ed1ab_0.conda | conda | 0.10.4 | noarch | main | Aug 21, 2023, 12:47 PM | 43.94 KB | 1.5K | |
noarch/gym-saturation-0.10.3-pyhd8ed1ab_0.conda | conda | 0.10.3 | noarch | main | Jul 21, 2023, 02:29 PM | 42.83 KB | 1.6K | |
noarch/gym-saturation-0.10.2-pyhd8ed1ab_0.conda | conda | 0.10.2 | noarch | main | Jun 24, 2023, 12:00 PM | 42.31 KB | 1.6K | |
noarch/gym-saturation-0.10.1-pyhd8ed1ab_0.conda | conda | 0.10.1 | noarch | main | May 21, 2023, 01:32 PM | 42.37 KB | 1.8K | |
noarch/gym-saturation-0.10.0-pyhd8ed1ab_0.conda | conda | 0.10.0 | noarch | main | Apr 26, 2023, 08:28 AM | 42.68 KB | 1.8K | |
noarch/gym-saturation-0.9.3-pyhd8ed1ab_0.conda | conda | 0.9.3 | noarch | main | Apr 21, 2023, 01:44 PM | 42.57 KB | 1.8K | |
noarch/gym-saturation-0.9.2-pyhd8ed1ab_0.conda | conda | 0.9.2 | noarch | main | Apr 14, 2023, 01:23 PM | 41.79 KB | 1.8K | |
noarch/gym-saturation-0.9.1-pyhd8ed1ab_0.conda | conda | 0.9.1 | noarch | main | Apr 10, 2023, 07:47 AM | 41.89 KB | 1.8K |