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