Closed raverkamp closed 7 years ago
In minizinc.py, lien 294, there is: args =+ ['-D', data] I guess it should be args += ['-D', data]
args =+ ['-D', data]
args += ['-D', data]
Thank you very much! Fixed.
In minizinc.py, lien 294, there is:
args =+ ['-D', data]
I guess it should beargs += ['-D', data]