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 inTaskSettableEnv
in Ray RLlib)