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