mcp[cli]<3,>=2
minizinc<1,>=0.9
