blob: f6645c83f03ebcf3ff1bacc6ea66f3a93d24ed9d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{
"requestInfo": {
"transactionId": "xxx-xxx-xxxx",
"requestID": "yyy-yyy-yyyy",
"sourceId": "cmopt",
"timeout": 600
},
"optimInfo": {
"solver": "mzn",
"solverArgs": {
"solver": "geocode"
},
"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];"
}
}
|
