GitHub repository: wilkinsjle/football-pddl
Description: STRIPS representation of the google football domain