software/mza/tests/unit/evaluation/minizinc/general/mzn-implicit8.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / general / mzn-implicit8.mzn

at develop 536 B view raw

 1
 2array[int, int, int] of var 1..1: x
 3	= array3d(1..2, 1..2, 1..2, [_, _, _, _, _, _, _, _]);
 4array[int, int, int, int] of var 1..1: y
 5	= array4d(1..2, 1..2, 1..2, 1..2, 
 6          [_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]);
 7array[int, int, int, int, int] of var 1..1: z
 8	= array5d(1..2,1..2, 1..2, 1..2, 1..2, 
 9          [_, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _,
10           _, _, _, _, _, _, _, _, _, _, _, _, _, _, _, _]);
11solve satisfy;
12output [
13   "x = ", show(x), "\n",
14   "y = ", show(y), "\n",
15   "z = ", show(z)
16];