software/mza/tests/unit/evaluation/minizinc/regression/enigma_1568.exp at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / tests / unit / evaluation / minizinc / regression / enigma_1568.exp

at develop 178 B view raw

 1D = 6;
 2E = 5;
 3L = 3;
 4O = 9;
 5ODD = 966;
 6P = 1;
 7PUZZLE = 102235;
 8U = 0;
 9Z = 2;
10num1 = 161;
11num2 = 635;
12num3 = 805;
13num4 = 483;
14x = array1d(1..7, [9, 6, 1, 0, 2, 3, 5]);
15----------