this repo has no description
dekker.one
1% 用nc个颜色来涂澳大利亚
2int: nc = 3;
3
4var 1..nc: wa; var 1..nc: nt; var 1..nc: sa; var 1..nc: q;
5var 1..nc: nsw; var 1..nc: v; var 1..nc: t;
6
7constraint wa != nt;
8constraint wa != sa;
9constraint nt != sa;
10constraint nt != q;
11constraint sa != q;
12constraint sa != nsw;
13constraint sa != v;
14constraint q != nsw;
15constraint nsw != v;
16solve satisfy;
17
18output ["wa=\(wa)\t nt=\(nt)\t sa=\(sa)\n",
19 "q=\(q)\t nsw=\(nsw)\t v=\(v)\n",
20 "t=", show(t), "\n"];