GitHub repository: AI-Planning/p4pp
Primary language: PDDL
Description: Planning tools for planning pedagogy