MiniZinc error: Memory violation detected (segmentation fault).

The last test run of SparseMatrixColorings turned up a strange error, of which the log is here:

```julia
[8](https://github.com/gdalle/SparseMatrixColorings.jl/actions/runs/22137035250/job/63991297101#step:7:331)
Got exception outside of a @test
The model was not solved correctly. Here is the output of `solution_summary` to help debug why this happened:

solution_summary(; result = 1, verbose = false)
├ solver_name : MiniZinc
├ Termination
│ ├ termination_status : OTHER_ERROR
│ ├ result_count : 0
│ └ raw_status : =====ERROR=====
MiniZinc error: Memory violation detected (segmentation fault).
This is a bug. Please file a bug report using the MiniZinc bug tracker.

├ Solution (result = 1)
│ ├ primal_status : NO_SOLUTION
│ └ dual_status : NO_SOLUTION
└ Work counters
└ solve_time (sec) : 1.70588e+00
```

Full CI report: https://github.com/gdalle/SparseMatrixColorings.jl/actions/runs/22137035250/job/63991297101

I assume it is related to one of MiniZinc.jl's latest releases