summaryrefslogtreecommitdiffstats
path: root/cmso-optimizer/scripts
ModeNameSize
d---------minizinc50logstatsplain