gym-saturation: Gymnasium Environments for Saturation Provers (System description)

Shminke, B

Shminke, B (通讯作者),Univ Cote DAzur, CNRS, LJAD, Nice, France.

AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2023, 2023; 14278 (): 187

Abstract

This work describes a new version of a previously published Python package - gym-saturation: a collection of OpenAI Gym environments for guiding satur......

Full Text Link