published Published 3 months ago
gym-saturation: an OpenAI Gym environment for saturation provers
Dockerfile Python OpenEdge ABL
@inpefess
published Published over 1 year ago
Journal of Open Source Software is an affiliate of the Open Source Inititative.
Journal of Open Source Software is part of Open Journals, which is a NumFOCUS-sponsored project.
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066
@CFGrote