docs: update

paolodragone · Aug 5, 2019 · 06293c4 · 06293c4
1 parent 39895a7
commit 06293c4
Show file tree

Hide file tree

Showing 77 changed files with 143 additions and 230 deletions.
diff --git a/docs/_downloads/1164c243ed56975abf9fb0496e0c273b/compatibility.dzn b/docs/_downloads/1164c243ed56975abf9fb0496e0c273b/compatibility.dzn
diff --git a/docs/_downloads/1573c71a2a72350a8728a376748bd8fc/knapsack01.dzn b/docs/_downloads/1573c71a2a72350a8728a376748bd8fc/knapsack01.dzn
diff --git a/docs/_downloads/2a06e9e2713cefe371003bfdda60bf1d/aust.mzn b/docs/_downloads/2a06e9e2713cefe371003bfdda60bf1d/aust.mzn
diff --git a/docs/_downloads/3037a721c97682b447cbe794f42daeac/knapsack.dzn b/docs/_downloads/3037a721c97682b447cbe794f42daeac/knapsack.dzn
diff --git a/docs/_downloads/42baaf37d3e336a0954ed695f9f49cf4/async_test.py b/docs/_downloads/42baaf37d3e336a0954ed695f9f49cf4/async_test.py
diff --git a/docs/_downloads/8436bd386e413c07d45af174e88641e3/async.mzn b/docs/_downloads/8436bd386e413c07d45af174e88641e3/async.mzn
diff --git a/docs/_downloads/9940f9aa2780b05b73b342733026dbfe/knapsack.pmzn b/docs/_downloads/9940f9aa2780b05b73b342733026dbfe/knapsack.pmzn
diff --git a/docs/_downloads/bdef5e5f7a1ac0959444de98a5ffa2e3/knapsack01.mzn b/docs/_downloads/bdef5e5f7a1ac0959444de98a5ffa2e3/knapsack01.mzn
diff --git a/docs/_static/documentation_options.js b/docs/_static/documentation_options.js
@@ -1,6 +1,6 @@
 var DOCUMENTATION_OPTIONS = {
     URL_ROOT: document.getElementById("documentation_options").getAttribute('data-url_root'),
-    VERSION: '0.18.2',
+    VERSION: '0.18.3',
     LANGUAGE: 'None',
     COLLAPSE_INDEX: false,
     FILE_SUFFIX: '.html',

diff --git a/docs/genindex.html b/docs/genindex.html
@@ -9,7 +9,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>Index &mdash; PyMzn 0.18.2 documentation</title>
+  <title>Index &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -60,7 +60,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/index.html b/docs/index.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>PyMzn &mdash; PyMzn 0.18.2 documentation</title>
+  <title>PyMzn &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -60,7 +60,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/install.html b/docs/install.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>Install &mdash; PyMzn 0.18.2 documentation</title>
+  <title>Install &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/objects.inv b/docs/objects.inv
diff --git a/docs/py-modindex.html b/docs/py-modindex.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>Python Module Index &mdash; PyMzn 0.18.2 documentation</title>
+  <title>Python Module Index &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -62,7 +62,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/aio/generated/pymzn.aio.minizinc.html b/docs/reference/aio/generated/pymzn.aio.minizinc.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>pymzn.aio.minizinc &mdash; PyMzn 0.18.2 documentation</title>
+  <title>pymzn.aio.minizinc &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/aio/index.html b/docs/reference/aio/index.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>Asynchronous execution &mdash; PyMzn 0.18.2 documentation</title>
+  <title>Asynchronous execution &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 
@@ -192,7 +192,7 @@ <h1>Asynchronous execution<a class="headerlink" href="#asynchronous-execution" t
 solutions found so far by the solver. The following is a full example of how to
 use the <code class="docutils literal notranslate"><span class="pre">minizinc</span></code> coroutine:</p>
 <div class="literal-block-wrapper docutils container" id="ex-async-mzn">
-<div class="code-block-caption"><span class="caption-text"><a class="reference download internal" download="" href="../../_downloads/8436bd386e413c07d45af174e88641e3/async.mzn"><code class="xref download docutils literal notranslate"><span class="pre">async.mzn</span></code></a></span><a class="headerlink" href="#ex-async-mzn" title="Permalink to this code">¶</a></div>
+<div class="code-block-caption"><span class="caption-text"><a class="reference download internal" download="" href="../../_downloads/c23e5a0a9f838eef744bf72021f09552/async.mzn"><code class="xref download docutils literal notranslate"><span class="pre">async.mzn</span></code></a></span><a class="headerlink" href="#ex-async-mzn" title="Permalink to this code">¶</a></div>
 <div class="highlight-minizinc notranslate"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre>1
 2
 3</pre></div></td><td class="code"><div class="highlight"><pre><span></span><span class="c">% Use a large domain to simulate a long solving process</span><span class="s"></span>
@@ -202,7 +202,7 @@ <h1>Asynchronous execution<a class="headerlink" href="#asynchronous-execution" t
 </td></tr></table></div>
 </div>
 <div class="literal-block-wrapper docutils container" id="ex-async">
-<div class="code-block-caption"><span class="caption-text"><a class="reference download internal" download="" href="../../_downloads/42baaf37d3e336a0954ed695f9f49cf4/async_test.py"><code class="xref download docutils literal notranslate"><span class="pre">async.mzn</span></code></a></span><a class="headerlink" href="#ex-async" title="Permalink to this code">¶</a></div>
+<div class="code-block-caption"><span class="caption-text"><a class="reference download internal" download="" href="../../_downloads/2eda3a4cd39edf25bb12282935fcb93e/async_test.py"><code class="xref download docutils literal notranslate"><span class="pre">async.mzn</span></code></a></span><a class="headerlink" href="#ex-async" title="Permalink to this code">¶</a></div>
 <div class="highlight-python3 notranslate"><table class="highlighttable"><tr><td class="linenos"><div class="linenodiv"><pre> 1
  2
  3

diff --git a/docs/reference/config.html b/docs/reference/config.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>Configuration &mdash; PyMzn 0.18.2 documentation</title>
+  <title>Configuration &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/dzn/generated/pymzn.dict2dzn.html b/docs/reference/dzn/generated/pymzn.dict2dzn.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>pymzn.dict2dzn &mdash; PyMzn 0.18.2 documentation</title>
+  <title>pymzn.dict2dzn &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/dzn/generated/pymzn.dzn2dict.html b/docs/reference/dzn/generated/pymzn.dzn2dict.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>pymzn.dzn2dict &mdash; PyMzn 0.18.2 documentation</title>
+  <title>pymzn.dzn2dict &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/dzn/generated/pymzn.rebase_array.html b/docs/reference/dzn/generated/pymzn.rebase_array.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>pymzn.rebase_array &mdash; PyMzn 0.18.2 documentation</title>
+  <title>pymzn.rebase_array &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/dzn/generated/pymzn.stmt2dzn.html b/docs/reference/dzn/generated/pymzn.stmt2dzn.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>pymzn.stmt2dzn &mdash; PyMzn 0.18.2 documentation</title>
+  <title>pymzn.stmt2dzn &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/dzn/generated/pymzn.val2dzn.html b/docs/reference/dzn/generated/pymzn.val2dzn.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>pymzn.val2dzn &mdash; PyMzn 0.18.2 documentation</title>
+  <title>pymzn.val2dzn &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/dzn/index.html b/docs/reference/dzn/index.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>Dzn files &mdash; PyMzn 0.18.2 documentation</title>
+  <title>Dzn files &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/exec.html b/docs/reference/exec.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>PyMzn executable &mdash; PyMzn 0.18.2 documentation</title>
+  <title>PyMzn executable &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -60,7 +60,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
 
 

diff --git a/docs/reference/index.html b/docs/reference/index.html
@@ -8,7 +8,7 @@
 
   <meta name="viewport" content="width=device-width, initial-scale=1.0">
 
-  <title>Manual &mdash; PyMzn 0.18.2 documentation</title>
+  <title>Manual &mdash; PyMzn 0.18.3 documentation</title>
 
 
 
@@ -61,7 +61,7 @@
 
 
               <div class="version">
-                0.18.2
+                0.18.3
               </div>
-Original file line number
+Diff line change
@@ Expand Up / @@ -9,7 +9,7 @@ @@
       <meta name="viewport" content="width=device-width, initial-scale=1.0">
-      <title>Index &mdash; PyMzn 0.18.2 documentation</title>
+      <title>Index &mdash; PyMzn 0.18.3 documentation</title>
@@ Expand Down Expand Up / @@ -60,7 +60,7 @@ @@
                   <div class="version">
-.18.2
+.18.3
                   </div>
@@ Expand Down @@