MiniZinc: Problem solved

We hope!