GitHub repository for Scip MindMup's