From df0a6f479daa9527d61cbb29d9470cadc4c2fd68 Mon Sep 17 00:00:00 2001 From: Laurent Perron Date: Sat, 5 Oct 2024 11:44:53 +0200 Subject: [PATCH] fz accepts -i --- ortools/flatzinc/cp-sat.msc.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ortools/flatzinc/cp-sat.msc.in b/ortools/flatzinc/cp-sat.msc.in index 82bfbf842af..f06573430cd 100644 --- 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", ""] ],