summaryrefslogtreecommitdiffstats
path: root/minizinc-examples
ModeNameSize
-rw-r--r--vDNS-service-gold-customer-model-driven-placement.dzn349logstatsplain
-rw-r--r--vDNS-service-model-driven-placement.mzn1894logstatsplain
-rw-r--r--vDNS-service-no-edge-dc-model-driven-placement.dzn349logstatsplain