diff options
author | 2019-04-05 16:55:13 -0400 | |
---|---|---|
committer | 2019-04-05 17:11:14 -0400 | |
commit | a5e82a2a703fd31cac33cef4bbe07445a274ba71 (patch) | |
tree | cb796ecac95d3da0c82f765273d0c07ece650830 /cmso-optimizer/etc/config/optimizer.properties | |
parent | c98cf7f69ff8a7765766a6ca569c874ae075fdea (diff) |
Fix so minizinc works in windows
Issue-ID: OPTFRA-458
Change-Id: Id63558456a13a31284f12007587706c66508512f
Signed-off-by: Jerry Flood <jflood@att.com>
Diffstat (limited to 'cmso-optimizer/etc/config/optimizer.properties')
-rw-r--r-- | cmso-optimizer/etc/config/optimizer.properties | 1 |
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 |