summaryrefslogtreecommitdiffstats
path: root/cmso-optimizer/etc/config/optimizer.properties
diff options
context:
space:
mode:
Diffstat (limited to 'cmso-optimizer/etc/config/optimizer.properties')
-rw-r--r--cmso-optimizer/etc/config/optimizer.properties1
1 files changed, 1 insertions, 0 deletions
diff --git a/cmso-optimizer/etc/config/optimizer.properties b/cmso-optimizer/etc/config/optimizer.properties
index 653d21b..e3ab89a 100644
--- a/cmso-optimizer/etc/config/optimizer.properties
+++ b/cmso-optimizer/etc/config/optimizer.properties
@@ -56,3 +56,4 @@ cmso.minizinc.command.exe="C:/Program Files/MiniZinc IDE (bundled)/minizinc.exe"
cmso.minizinc.command.solver=OSICBC
cmso.minizinc.command.timelimit=60000
cmso.minizinc.command.mzn=scripts/minizinc/generic_attributes.mzn
+cmso.minizinc.command.commandline=cmd.exe /C scripts\\minizinc\\run.bat \ No newline at end of file