gym-saturation

gym-saturation: a collection of OpenAI Gym environments for guiding saturation-style provers based on the given clause algorithm with reinforcement learning

Data and Resources

Cite this as

Boris Shminke (2025). Dataset: gym-saturation. https://doi.org/10.57702/x9ewvctl

DOI retrieved: January 3, 2025

Additional Info

Field Value
Created January 3, 2025
Last update January 3, 2025
Defined In https://doi.org/10.1007/978-3-031-43513-3_11
Version 0.10.0
Author Boris Shminke
Homepage https://pypi.org/project/gym-saturation/