% Colouring Australia using nc colours int: nc = 3; var 1..nc: wa; var 1..nc: nt; var 1..nc: sa; var 1..nc: q; var 1..nc: nsw; var 1..nc: v; var 1..nc: t; constraint wa != nt; constraint wa != sa; constraint nt != sa; constraint nt != q; constraint sa != q; constraint sa != nsw; constraint sa != v; constraint q != nsw; constraint nsw != v; solve satisfy; output ["wa=\(wa)\t nt=\(nt)\t sa=\(sa)\n", "q=\(q)\t nsw=\(nsw)\t v=\(v)\n", "t=", show(t), "\n"];