gym-saturation
a collection of Gymnasium environments for saturation provers
Installation
To install this package, run one of the following:
Usage Tracking
1.0.4
1.0.3
1.0.2
1.0.1
0.12.4
5 / 8 versions selected
Downloads (Last 6 months): 0
Description
gym-saturation is collection of Gymnasium environments for guiding automated theorem provers by reinforcement learning agents.
About
Summary
a collection of Gymnasium environments for saturation provers
Last Updated
Dec 26, 2025 at 16:30
License
Apache-2.0
Total Downloads
81.0K
Version Downloads
130
Supported Platforms
noarch
GitHub Repository
https://github.com/inpefess/gym-saturationDocumentation
https://gym-saturation.readthedocs.io/