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