schutta
schutta
MiniZinc 2.0.14 was used.
MiniZinc 2.1errors latin-squares: ``` $ minizinc latin-squares-hybrid.mzn 03.dzn latin-squares-hybrid.mzn:34: MiniZinc: type error: no function or predicate with this signature found: `channel_fd_int_to_lp_float(var int,var float)' ``` jobshop: ``` $ minizinc jobshop.mzn jobshop_vw3x3.dzn...
No issue were encountered for the pattern_set_mining model. It should be call, e.g., by ``` $ minizinc -D "K = 1;" pattern_set_mining.mzn anneal.dzn ``` There are two other models `*_k1.mzn`...
Except the issue with the mqueens2 model, all other issues were resolved in commits 8a1e825, 979ef18, and 2b6c93b.
This might work for you: ``` bool: collapse; int: n = if collapse then 0 else 3 endif; array [1..n] of var bool: x; ``` Or shorter if n as...
Btw, you already can do this, which is similar to your proposal. ``` array[1..52, 1..2] of int: modtable = array2d(1..52, 1..2, [ [id, id mod 13][i] | id in 1..52,...
Note that array comprehensions are one-dimensional arrays and there is no need to have `_ in 1..2` in your example. Actually, the way you specify it will create an array...
Surely, a MiniZinc bundled binary package excluding these MiniZinc IDE and related components would do too.