summaryrefslogtreecommitdiffstats
path: root/cmso-optimizer/scripts/minizinc
ModeNameSize
-rw-r--r--generic_attributes.mzn7193logstatsplain
-rw-r--r--run.bat161logstatsplain
-rw-r--r--run.sh167logstatsplain