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% vim: et ts=4
7% Cut down version of MiniZinc bug 110.
8% When flattened with mzn2fzn 1.1 this model results in negative
9% (and more generally out-of-bounds) array accesses.
10
11array[1..5,1..5] of var 0..2: board;
12
13constraint
14 forall(row,col in 1..5) (
15 ( board[row, col] = 1 ->
16 forall(i in 1..5) (
17 (((row-i > 0) /\ (col-i > 0)) -> (board[row-i,col-i] < 2))
18 )
19 )
20);
21
22solve satisfy;
23
24output ["board = ", show(board), ";\n"];