Mikael Zayenz Lagerkvist

If you use an array slice, then the index set will be preserved ``` arg_max(arr[6..8]) ```

For the transcendentals, it depends on if Gecode is compiled with MPFR-support or not, and it appears that this is not included in the included version of Gecode. This can...

This is a good point, in Gecode when used directly we require that arrays do not have shared variables for many constraints. Usage from a modelling system like MiniZinc (that...

Thanks for this proposal. I am, however, unsure if it is the right way to go, at least right now. Personally, I've used mimalloc when using Gecode in a multi-threaded...

This is really interesting, and also quite scary. Thanks for creating a smaller example, and especially one that does not contain div (that is a partial function, and partiality and...

It can be quite useful to guard against 4-byte int overflow on a typical autoincrement id-column, which can happen for some types of data within very reasonable use-cases. The JS...

I agree that it should be defined clearly what semantics are given to empty arrays for all the cases that you mention. For circuit in particular, Gecode elects to not...

The preferences are (AFAIK) stored in the `~ /.minizinc/Preferences.json` file. * If you add solver path in the GUI, does the preference file change? * If you add the change...

The tuple work-around, while not pretty, will solve the immediate problem. Thanks for that idea.

Note: the below comment is wrong, see the follow-up by @Dekker1. ~~You can do some things with functions to get a library of pre-defined types. It is not a full...