JSON DecodeError with "minizinc:experimental"

[rubenkindt]

solver: "minizinc:experimental"
CPMpy: version v0.9.9 commit e79b3af
minizinc-python release version 0.7.0 commit {MiniZinc/minizinc-python@a195cf6)

MiniZinc's experimental solver raise a JSON error, "minizinc:gecode" and "minizinc:gist" do crash on this file as well, but seems to be a different bug which I will report in a separate issue.
minimized.zip

from cpmpy import *

file ="minimized"  # don't forget to unzip
m=Model().from_file(file)
m.solve(solver='minizinc:experimental')

expected behavior:
No crash like other solvers ("minizinc:ortools" ...)

bug found while working on my master thesis.

[tias]

I don't think we should expect stable behavior from a solver that is called 'experimental'. I have never heard of it, not sure we should report it upstream with minizinc, maybe just leave the 'experimental' out of the fuzz tests? (if you agree, feel free to close)