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