Jason N
Jason N
In general this error message indicates that MiniZinc has crashed. MiniZnc 2.6.0 features better error reporting for this, so it would be great if you could try out this version....
This should now be fixed in version 2.7.0
I can't seem to reproduce the crash on Windows/Linux - was this using one of our binaries? I think the Gecode error is expected (`var float` without domains can often...
This appears to have now been fixed in version 2.7.0
The compile-time dependency is used to enable some features in the compiler such as the -O3, -O4 and -O5 optimisation levels, regular expression parsing, and solution checking with `.mzc.mzn` files....
This should now be fixed in version 2.7.0
It looks like Inno Setup doesn't really support this natively (it might be possible to use Pascal scripting to achieve this though). The way Inno Setup is designed for would...
Isn't the undefinedness caused because we evaluate `ub(shape[k[s]])` for the generator? I don't see how we can short-circuit the forall to make that not get evaluated. Actually, I'm not totally...
So far I haven't been able to reproduce this. Would you be able to share the project where this happens? (If you can't send it publicly, you can email it...
Right now, the interface can only handle solvers which have a direct interface built into MiniZinc (this is because emulating the child process handling for FlatZinc solvers is rather difficult...