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