fz accepts -i

2024-10-05 11:44:53 +02:00
parent b681feb0ff
commit 59d9c4acdd
1 changed files with 1 additions and 1 deletions
--- a/ortools/flatzinc/cp-sat.msc.in
+++ b/ortools/flatzinc/cp-sat.msc.in
@@ -6,7 +6,7 @@
  "mznlib": "../cp-sat",
  "executable": "@FZ_REL_INSTALL_BINARY@",
  "tags": ["cp-sat", "cp", "lcg", "int"],
-  "stdFlags": ["-a", "-f", "-p", "-r", "-s", "-v"],
+  "stdFlags": ["-a", "-i", "-f", "-p", "-r", "-s", "-v"],
  "extraFlags": [
    ["--params", "Provide parameters interpreted as a text SatParameters proto", "string", ""]
  ],