software/minizinc/tests/spec/unit/regression/bug256b.mzn at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / minizinc / tests / spec / unit / regression / bug256b.mzn

at develop 261 B view raw

 1/***
 2!Test
 3expected:
 4- !Result
 5  solution: !Solution
 6    x:
 7    - !!set {}
 8    - !!set {}
 9    - !!set {}
10***/
11
12% A regression test for bug #256.
13
14array[1..3] of var set of 1..3: x;
15x = array1d(1..3, [{}, {}, {}]);
16solve satisfy;
17output ["x = ", show(x), "\n"];