this repo has no description
dekker.one
1% RUNS ON mzn20_fd
2% RUNS ON mzn-fzn_fd
3% RUNS ON mzn20_mip
4% blocksworld_instance_2.mzn
5% vim: ft=zinc ts=4 sw=4 et tw=0
6
7include "blocksworld.model";
8
9n_blocks = 5;
10
11int: a = 1;
12int: b = 2;
13int: c = 3;
14int: d = 4;
15int: e = 5;
16
17% Initial state:
18%
19% E
20% D
21% C
22% B
23% A
24% ---
25% A B C D E
26initial_loc = [Table, a, b, c, d];
27
28% Goal state:
29%
30% A
31% B
32% C
33% D
34% E
35% ---
36% A B C D E
37final_loc = [b, c, d, e, Table];
38
39n_steps = 6;
40