Corrected MiniZinc variable names for repositories and resources.