fz accepts -i

google · Oct 5, 2024 · 59d9c4a · 59d9c4a
1 parent b681feb
commit 59d9c4a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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", ""]
   ],