Results
22
comments of
Guido Tack
The problem here is that you are essentially creating a cyclic redefinition: array_bool_or is rewritten to a clause, and then the clause is again rewritten to array_bool_or (this is hard-coded...
This is explained in the documentation under “hidden option types”: https://www.minizinc.org/doc-latest/en/optiontypes.html#hidden-option-types