this repo has no description
dekker.one
1/***
2!Test
3expected:
4- !Result
5 solution: !Solution
6 'on':
7 - [-1, 1, 2, 3, 4]
8 - [-1, 1, 2, 3, -5]
9 - [-1, 1, 2, -4, -5]
10 - [-1, 1, -3, -4, -5]
11 - [-1, -2, -3, -4, -5]
12 - [2, 3, 4, 5, -5]
13***/
14
15% blocksworld_instance_2.mzn
16% vim: ft=zinc ts=4 sw=4 et tw=0
17
18include "blocksworld.model";
19
20n_blocks = 5;
21
22int: a = 1;
23int: b = 2;
24int: c = 3;
25int: d = 4;
26int: e = 5;
27
28% Initial state:
29%
30% E
31% D
32% C
33% B
34% A
35% ---
36% A B C D E
37initial_loc = [Table, a, b, c, d];
38
39% Goal state:
40%
41% A
42% B
43% C
44% D
45% E
46% ---
47% A B C D E
48final_loc = [b, c, d, e, Table];
49
50n_steps = 6;
51