minizinc 2.8.3 Memory violation detected (segmentation fault)

[snicolai]

MacOS Sonoma 14.4.1 (23E224) on Apple Silicon (M1 Max)

Minizinc 2.8.3

% /Applications/MiniZincIDE.app/Contents/Resources/minizinc  -v                  
MiniZinc to FlatZinc converter, version 2.8.3, build 1160071927
Copyright (C) 2014-2024 Monash University, NICTA, Data61

% /Applications/MiniZincIDE.app/Contents/Resources/minizinc  -c $HOME/finplan2/minizinc/crash.mzn
MiniZinc error: Memory violation detected (segmentation fault).
This is a bug. Please file a bug report using the MiniZinc bug tracker.

crash.mzn.txt