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

Linux Foundation Collaborative Projects

about summary refs log tree commit diff stats

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

blob: 8c07b3c482ef3e5932180c6ef4c9988cdcf48dae (plain)

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