gym-saturation: an OpenAI Gym environment for saturation provers

Dockerfile Python OpenEdge ABL Submitted 01 October 2021Published 03 March 2022
Review

Editor: @VivianePons (all papers)
Reviewers: @lutzhamel (all reviews), @quickbeam123 (all reviews)

Authors

Boris Shminke (0000-0002-1291-9896)

Citation

Shminke, B., (2022). gym-saturation: an OpenAI Gym environment for saturation provers. Journal of Open Source Software, 7(71), 3849, https://doi.org/10.21105/joss.03849

Copy citation string · Copy BibTeX  
Tags

OpenAI Gym automated theorem prover saturation prover reinforcement learning

Altmetrics
Markdown badge

 

License

Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066