Open matsc-at-sics-se opened 1 year ago
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 does lots of common subexpression elimination) is different.
We should most likely make sure that all constraints posted form the registry are unshared beforehand.
On Ubuntu 22.04.2 LTS.