aboutsummaryrefslogtreecommitdiffstats
path: root/cmso-optimizer/scripts/minizinc
ModeNameSize
-rw-r--r--generic_attributes.mzn7193logstatsplain