GitHub repository: sprkrd/pddlgym
Description: Convert a PDDL domain into an OpenAI Gym environment.