this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution {}
6***/
7
8% Regression test for bug #256: this model caused solns2out
9% to abort with the following message:
10%
11% solns2out:
12% error:
13% <standard input>:1
14% In assignment for 'x'.
15% In coercion.
16% In 'array1d' expression.
17% This is not a valid MiniZinc array type.
18
19array[1..1] of var set of 1..1: x = [{}];
20solve satisfy;
21output [show(x), "\n"];