this repo has no description
dekker.one
1% Colorear Australia utilizando "nc" colores.
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
7% Restricciones.
8constraint wa != nt;
9constraint wa != sa;
10constraint nt != sa;
11constraint nt != q;
12constraint sa != q;
13constraint sa != nsw;
14constraint sa != v;
15constraint q != nsw;
16constraint nsw != v;
17solve satisfy;
18
19output ["wa=\(wa)\t nt=\(nt)\t sa=\(sa)\n",
20 "q=\(q)\t nsw=\(nsw)\t v=\(v)\n",
21 "t=", show(t), "\n"];