GitHub repository: AI-Planning/core-challenge-2023
Primary language: C++
Description: https://core-challenge.github.io/2023/