summaryrefslogtreecommitdiffstats
path: root/minizinc-examples
ModeNameSize
-rw-r--r--vDNS-service-model-driven-placement.mzn1894logstatsplain