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% blocksworld_instance_1.mzn
6% vim: ft=zinc ts=4 sw=4 et tw=0
7
8include "blocksworld.model";
9
10n_blocks = 3;
11
12int: a = 1;
13int: b = 2;
14int: c = 3;
15
16% Initial state:
17%
18% C
19% A
20% B
21% ---
22% A B C
23initial_loc = [b, Table, a];
24
25% Goal state:
26%
27% A
28% B
29% C
30% ---
31% A B C
32final_loc = [b, c, Table];
33
34n_steps = 4;