run.bat « minizinc « scripts « cmso-optimizer - optf/cmso - Change management scheduling service

Linux Foundation Collaborative Projects

summary refs log tree commit diff stats

path: root/cmso-optimizer/scripts/minizinc/run.bat

blob: dc4050330ccd4acd780a92981c6f619cf9084a35 (plain)

%MINIZINC% --solver %MINIZINC_SOLVER% --time-limit %MINIZINC_TIMELIMIT% --soln-sep "" --search-complete-msg "" -o %MINIZINC_OUTPUT% %MINIZINC_MZN% %MINIZINC_DZN%