/minizinc-examples/
../
vDNS-service-gold-customer-model-driven-placement.dzn
vDNS-service-model-driven-placement.mzn
vDNS-service-no-edge-dc-model-driven-placement.dzn