gym-saturation
a collection of Gymnasium environments for saturation provers
a collection of Gymnasium environments for saturation provers
To install this package, run one of the following:
gym-saturation is collection of Gymnasium environments for guiding automated theorem provers by reinforcement learning agents.
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
GitHub Repository
https://github.com/inpefess/gym-saturationDocumentation
https://gym-saturation.readthedocs.io/