title: Minizinc Python - using .dzn module instead of instance module
body: <p>Imagine I have .mzn file called abc.mzn and it is as follows.</p>
  
  <pre><code>array[1..3] of int:a;
  output[show(a)];
  </code></pre>
  
  <p>Now I have a .dzn file called cde.dzn and it is as follows.</p>
  
  <pre><code> a=[1,2,3];
  </code></pre>
  
  <p>I will run minizinc python package as below,</p>
  
  <pre><code>import minizinc as minizinc
  from minizinc import Instance,Model,Solver
  
  x=Solver.lookup("geocode")
  M1=Model("./abc.mzn")
  
  instance1=Instance(x,M1)
  instance1("a")=[1,2,3]
  result = instance1.solve()
  print(result)
  </code></pre>
  
  <p>Above code works fine and no problem with that.I am keen to use dzn module in this python code instead of Instance module and to get rid of manually assigning below  line.
  As you can see we need to manually assign the values for all parameters using instance1=..</p>
  
  <pre><code> instance1("a")=[1,2,3]
  </code></pre>
  
  <p>Is there any way that we can use .dzn file to assign values(using dzn module).I noted that in the package  itself we have the dzn module already there.</p>
  
  <p>can we do in below manner or how to get results.</p>
  
  <pre><code>import minizinc as minizinc
  from minizinc import dzn,Model,Solver
  
  M1=Model("./abc.mzn")
  D1=dzn("./cde.dzn") etc..
  </code></pre>