blob: 1fbca5bd4da6b7b3fd60db4276b6722015ee5842 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
{
"requestInfo": {
"transactionId": "xxx-xxx-xxxx",
"requestID": "yyy-yyy-yyyy",
"sourceId": "cmopt"
},
"modelInfo": {
"modelId": "model2",
"solver": "mzn",
"description": "graph coloring problem for australia",
"modelContent": "int: nc;\r\nvar 1 .. nc: wa; var 1 .. nc: nt; var 1 .. nc: sa; var 1 .. nc: q;\r\nvar 1 .. nc: nsw; var 1 .. nc: v; var 1 .. nc: t;\r\nconstraint wa != nt;\r\nconstraint wa != sa;\r\nconstraint nt != sa;\r\nconstraint nt != q;\r\nconstraint sa != q;\r\nconstraint sa != nsw;\r\nconstraint sa != v;\r\nconstraint q != nsw;\r\nconstraint nsw != v;\r\nsolve satisfy;\r\noutput [\r\n \"wa=\\(wa)\\t nt=\\(nt)\\t sa=\\(sa)\\n\",\r\n \"q=\\(q)\\t nsw=\\(nsw)\\t v=\\(v)\\n\",\r\n \"t=\", show(t), \"\\n\"\r\n];"
}
}
|
