aboutsummaryrefslogtreecommitdiffstats
path: root/cmso-optimizer/scripts/minizinc/run.bat
AgeCommit message (Expand)AuthorFilesLines
2019-04-05Fix so minizinc works in windowsJerry Flood1-1/+1
2019-04-05Integrate new mS into ITJerry Flood1-0/+1