Adding the generic solver code

[optf/osdf.git] / test / optengine-tests / test_optengine_invalid.json

diff --git a/test/optengine-tests/test_optengine_invalid.json b/test/optengine-tests/test_optengine_invalid.json
new file mode 100644 (file)
index 0000000..9a0267a
--- /dev/null
+++ b/test/optengine-tests/test_optengine_invalid.json
@@ -0,0 +1,18 @@
+{
+  "requestInfo": {
+    "transactioId": "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];",
+    "optData": {
+      "nc": 3
+    }
+  }
+}
\ No newline at end of file