GitHub repository: sakshambassi/unified-planning
Description: The AIPlan4EU Unified Planning Library