Basic Usage

Initialising Environments

Using environments from gym-saturation is very similar to using them in Gymnasium. You initialise an environment via:

import gym_saturation
import gymnasium

env = gymnasium.make("Vampire-v0")

Additional Environment API

There are two additional methods to each gym-saturation environment:

• set_task — to specify a filename of a TPTP problem to solve (like in Meta-World multi-task environments)

• get_task — to look up a filename of a TPTP problem being solved (like in TaskSettableEnv in Ray RLlib)