title: Is there a way to bind all the solutions of Minizinc solver to a python variable (when used in jupyter notebook via cell magic)?
body: <p>I wish to use minizinc to solve an optimisation problem. I'm using it on Jupyter notebook via cell magic, as follows.</p>
  <p>For the simple quadratic equation below, when I use the -a flag on its own, I'm getting all the possible solutions for x in the output as desired.</p>
  <pre><code>%load_ext iminizinc
  </code></pre>
  <pre><code>a=1
  b=4
  c=0
  </code></pre>
  <pre><code>%%minizinc -a
  
  include &quot;gecode.mzn&quot;;
  var -100..100: x;
  int: a; int: b; int: c;
  constraint a*(x*x) + b*x = c;
  solve satisfy;
  </code></pre>
  <p><strong><code>[Out]: [{'x': -4}, {'x': 0}]</code></strong></p>
  <p>But, when I try to bind all possible solutions to a python variable, it only binds one of the solutions, not all:</p>
  <pre><code>%%minizinc -a -m bind
  
  include &quot;gecode.mzn&quot;;
  var -100..100: x;
  int: a; int: b; int: c;
  constraint a*(x*x) + b*x = c;
  solve satisfy;
  </code></pre>
  <pre><code>x
  </code></pre>
  <p><strong><code>[Out]:0</code></strong></p>
  <p>Likewise, when I use only the -m bind flag without the -a flag, it binds only one solution to the variable as well:</p>
  <pre><code>%%minizinc -m bind
  </code></pre>
  <pre><code>x
  </code></pre>
  <p><strong><code>[Out]:-4</code></strong></p>
  <p>If there is a way to bind all possible solutions to the python variable, please let me know. (Do I need to declare a variable of different data type?)</p>