From 06293c48291aa4ca800abb5ec445d9609a81d620 Mon Sep 17 00:00:00 2001 From: Paolo Dragone Date: Mon, 5 Aug 2019 20:27:07 +0200 Subject: [PATCH] docs: update --- .../compatibility.dzn | 7 ------ .../knapsack01.dzn | 3 --- .../2a06e9e2713cefe371003bfdda60bf1d/aust.mzn | 18 -------------- .../knapsack.dzn | 4 --- .../async_test.py | 13 ---------- .../async.mzn | 3 --- .../knapsack.pmzn | 23 ------------------ .../knapsack01.mzn | 16 ------------ docs/_static/documentation_options.js | 2 +- docs/genindex.html | 4 +-- docs/index.html | 4 +-- docs/install.html | 4 +-- docs/objects.inv | Bin 1629 -> 1629 bytes docs/py-modindex.html | 4 +-- .../aio/generated/pymzn.aio.minizinc.html | 4 +-- docs/reference/aio/index.html | 8 +++--- docs/reference/config.html | 4 +-- .../dzn/generated/pymzn.dict2dzn.html | 4 +-- .../dzn/generated/pymzn.dzn2dict.html | 4 +-- .../dzn/generated/pymzn.rebase_array.html | 4 +-- .../dzn/generated/pymzn.stmt2dzn.html | 4 +-- .../dzn/generated/pymzn.val2dzn.html | 4 +-- docs/reference/dzn/index.html | 4 +-- docs/reference/exec.html | 4 +-- docs/reference/index.html | 4 +-- .../generated/pymzn.MiniZincError.html | 4 +-- .../minizinc/generated/pymzn.Solutions.html | 4 +-- .../generated/pymzn.Solutions.print.html | 4 +-- .../minizinc/generated/pymzn.Status.html | 4 +-- .../minizinc/generated/pymzn.minizinc.html | 4 +-- .../minizinc/generated/pymzn.mzn2fzn.html | 4 +-- .../minizinc/generated/pymzn.solns2out.html | 4 +-- docs/reference/minizinc/index.html | 4 +-- .../solvers/generated/pymzn.CBC.args.html | 4 +-- .../solvers/generated/pymzn.CBC.html | 4 +-- .../solvers/generated/pymzn.CBC.parser.html | 4 +-- .../solvers/generated/pymzn.Chuffed.args.html | 4 +-- .../solvers/generated/pymzn.Chuffed.html | 4 +-- .../generated/pymzn.Chuffed.parser.html | 4 +-- .../solvers/generated/pymzn.Gecode.args.html | 4 +-- .../solvers/generated/pymzn.Gecode.html | 4 +-- .../generated/pymzn.Gecode.parser.html | 4 +-- .../solvers/generated/pymzn.Gurobi.args.html | 4 +-- .../solvers/generated/pymzn.Gurobi.html | 4 +-- .../generated/pymzn.Gurobi.parser.html | 4 +-- .../generated/pymzn.MIPSolver.args.html | 4 +-- .../solvers/generated/pymzn.MIPSolver.html | 4 +-- .../generated/pymzn.MIPSolver.parser.html | 4 +-- .../solvers/generated/pymzn.ORTools.args.html | 4 +-- .../solvers/generated/pymzn.ORTools.html | 4 +-- .../generated/pymzn.ORTools.parser.html | 4 +-- .../generated/pymzn.Optimathsat.args.html | 4 +-- .../solvers/generated/pymzn.Optimathsat.html | 4 +-- .../generated/pymzn.Optimathsat.parser.html | 4 +-- .../generated/pymzn.Opturion.args.html | 4 +-- .../solvers/generated/pymzn.Opturion.html | 4 +-- .../generated/pymzn.Opturion.parser.html | 4 +-- .../generated/pymzn.OscarCBLS.args.html | 4 +-- .../solvers/generated/pymzn.OscarCBLS.html | 4 +-- .../generated/pymzn.OscarCBLS.parser.html | 4 +-- .../solvers/generated/pymzn.Solver.args.html | 4 +-- .../solvers/generated/pymzn.Solver.html | 4 +-- .../generated/pymzn.Solver.parser.html | 4 +-- .../solvers/generated/pymzn.cbc.html | 4 +-- .../solvers/generated/pymzn.chuffed.html | 4 +-- .../solvers/generated/pymzn.gecode.html | 4 +-- .../solvers/generated/pymzn.gurobi.html | 4 +-- .../solvers/generated/pymzn.optimathsat.html | 4 +-- .../solvers/generated/pymzn.opturion.html | 4 +-- .../solvers/generated/pymzn.or_tools.html | 4 +-- .../solvers/generated/pymzn.oscar_cbls.html | 4 +-- docs/reference/solvers/index.html | 4 +-- .../pymzn.templates.add_package.html | 4 +-- .../generated/pymzn.templates.add_path.html | 4 +-- docs/reference/templates/index.html | 10 ++++---- docs/search.html | 4 +-- docs/tutorial.html | 10 ++++---- 77 files changed, 143 insertions(+), 230 deletions(-) delete mode 100644 docs/_downloads/1164c243ed56975abf9fb0496e0c273b/compatibility.dzn delete mode 100644 docs/_downloads/1573c71a2a72350a8728a376748bd8fc/knapsack01.dzn delete mode 100644 docs/_downloads/2a06e9e2713cefe371003bfdda60bf1d/aust.mzn delete mode 100644 docs/_downloads/3037a721c97682b447cbe794f42daeac/knapsack.dzn delete mode 100644 docs/_downloads/42baaf37d3e336a0954ed695f9f49cf4/async_test.py delete mode 100644 docs/_downloads/8436bd386e413c07d45af174e88641e3/async.mzn delete mode 100644 docs/_downloads/9940f9aa2780b05b73b342733026dbfe/knapsack.pmzn delete mode 100644 docs/_downloads/bdef5e5f7a1ac0959444de98a5ffa2e3/knapsack01.mzn diff --git a/docs/_downloads/1164c243ed56975abf9fb0496e0c273b/compatibility.dzn b/docs/_downloads/1164c243ed56975abf9fb0496e0c273b/compatibility.dzn deleted file mode 100644 index 454872b..0000000 --- a/docs/_downloads/1164c243ed56975abf9fb0496e0c273b/compatibility.dzn +++ /dev/null @@ -1,7 +0,0 @@ -compatibility = [| - true, true, false, true, true | - true, true, false, true, false | - false, false, true, true, true | - true, true, true, true, false | - true, false, true, false, true -|]; diff --git a/docs/_downloads/1573c71a2a72350a8728a376748bd8fc/knapsack01.dzn b/docs/_downloads/1573c71a2a72350a8728a376748bd8fc/knapsack01.dzn deleted file mode 100644 index 826e344..0000000 --- a/docs/_downloads/1573c71a2a72350a8728a376748bd8fc/knapsack01.dzn +++ /dev/null @@ -1,3 +0,0 @@ -n = 5; -profit = [10, 3, 9, 4, 8]; -size = [14, 4, 10, 6, 9]; diff --git a/docs/_downloads/2a06e9e2713cefe371003bfdda60bf1d/aust.mzn b/docs/_downloads/2a06e9e2713cefe371003bfdda60bf1d/aust.mzn deleted file mode 100644 index 8af5693..0000000 --- a/docs/_downloads/2a06e9e2713cefe371003bfdda60bf1d/aust.mzn +++ /dev/null @@ -1,18 +0,0 @@ -int: nc = 3; -var 1 .. nc: wa; var 1 .. nc: nt; var 1 .. nc: sa; var 1 .. nc: q; -var 1 .. nc: nsw; var 1 .. nc: v; var 1 .. nc: t; -constraint wa != nt; -constraint wa != sa; -constraint nt != sa; -constraint nt != q; -constraint sa != q; -constraint sa != nsw; -constraint sa != v; -constraint q != nsw; -constraint nsw != v; -solve satisfy; -output [ - "wa=\(wa)\t nt=\(nt)\t sa=\(sa)\n", - "q=\(q)\t nsw=\(nsw)\t v=\(v)\n", - "t=", show(t), "\n" -]; diff --git a/docs/_downloads/3037a721c97682b447cbe794f42daeac/knapsack.dzn b/docs/_downloads/3037a721c97682b447cbe794f42daeac/knapsack.dzn deleted file mode 100644 index b244c38..0000000 --- a/docs/_downloads/3037a721c97682b447cbe794f42daeac/knapsack.dzn +++ /dev/null @@ -1,4 +0,0 @@ -n = 5; -profit = [10, 3, 9, 4, 8]; -size = [14, 4, 10, 6, 9]; -capacity = 24; diff --git a/docs/_downloads/42baaf37d3e336a0954ed695f9f49cf4/async_test.py b/docs/_downloads/42baaf37d3e336a0954ed695f9f49cf4/async_test.py deleted file mode 100644 index 499f340..0000000 --- a/docs/_downloads/42baaf37d3e336a0954ed695f9f49cf4/async_test.py +++ /dev/null @@ -1,13 +0,0 @@ -import pymzn -import asyncio -from pymzn.aio import minizinc - -async def main(): - solns = await minizinc('async.mzn', all_solutions=True, keep_solutions=False) - while solns.status is not pymzn.Status.COMPLETE: - await asyncio.sleep(1) - for i, soln in enumerate(solns): - if i == 0: - print(soln) - -asyncio.run(main()) diff --git a/docs/_downloads/8436bd386e413c07d45af174e88641e3/async.mzn b/docs/_downloads/8436bd386e413c07d45af174e88641e3/async.mzn deleted file mode 100644 index b29668c..0000000 --- a/docs/_downloads/8436bd386e413c07d45af174e88641e3/async.mzn +++ /dev/null @@ -1,3 +0,0 @@ -% Use a large domain to simulate a long solving process -var 0 .. 100000: x; -solve satisfy; diff --git a/docs/_downloads/9940f9aa2780b05b73b342733026dbfe/knapsack.pmzn b/docs/_downloads/9940f9aa2780b05b73b342733026dbfe/knapsack.pmzn deleted file mode 100644 index 474b49a..0000000 --- a/docs/_downloads/9940f9aa2780b05b73b342733026dbfe/knapsack.pmzn +++ /dev/null @@ -1,23 +0,0 @@ -int: n; % number of objects -set of int: OBJ = 1..n; -array[OBJ] of int: profit; % the profit of each object -array[OBJ] of int: size; % the size of each object -int: capacity; % the capacity of the knapsack - -var set of OBJ: x; -constraint sum(i in x)(size[i]) <= capacity; - -{% if with_compatibility %} - array[OBJ, OBJ] of bool: compatibility; - constraint forall(i, j in x where i != j)( - compatibility[i, j] - ); -{% endif %} - -var int: obj = sum(i in x)(profit[i]); -solve maximize obj; - -output [ - "knapsack = ", show(x), "\n", - "objective = ", show(obj) -]; diff --git a/docs/_downloads/bdef5e5f7a1ac0959444de98a5ffa2e3/knapsack01.mzn b/docs/_downloads/bdef5e5f7a1ac0959444de98a5ffa2e3/knapsack01.mzn deleted file mode 100644 index 410aee9..0000000 --- a/docs/_downloads/bdef5e5f7a1ac0959444de98a5ffa2e3/knapsack01.mzn +++ /dev/null @@ -1,16 +0,0 @@ -int: n; % number of objects -set of int: OBJ = 1..n; -array[OBJ] of int: profit; % the profit of each object -array[OBJ] of int: size; % the size of each object -int: capacity; % the capacity of the knapsack - -var set of OBJ: x; -constraint sum(i in x)(size[i]) <= capacity; - -var int: obj = sum(i in x)(profit[i]); -solve maximize obj; - -output [ - "knapsack = ", show(x), "\n", - "objective = ", show(obj) -]; diff --git a/docs/_static/documentation_options.js b/docs/_static/documentation_options.js index eb8d743..b7654e3 100644 --- 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 index 5511457..1b05419 100644 --- a/docs/genindex.html +++ b/docs/genindex.html @@ -9,7 +9,7 @@ - Index — PyMzn 0.18.2 documentation + Index — PyMzn 0.18.3 documentation @@ -60,7 +60,7 @@
- 0.18.2 + 0.18.3
diff --git a/docs/index.html b/docs/index.html index fd226b1..978eeee 100644 --- a/docs/index.html +++ b/docs/index.html @@ -8,7 +8,7 @@ - PyMzn — PyMzn 0.18.2 documentation + PyMzn — PyMzn 0.18.3 documentation @@ -60,7 +60,7 @@
- 0.18.2 + 0.18.3
diff --git a/docs/install.html b/docs/install.html index d42ff03..76f4286 100644 --- a/docs/install.html +++ b/docs/install.html @@ -8,7 +8,7 @@ - Install — PyMzn 0.18.2 documentation + Install — PyMzn 0.18.3 documentation @@ -61,7 +61,7 @@
- 0.18.2 + 0.18.3
diff --git a/docs/objects.inv b/docs/objects.inv index 77ca66dd757158f1339187a390589e312ff0e582..17d152664591973b7108511fe390a7e2a062f4ce 100644 GIT binary patch delta 12 Tcmcc1bC+j=9i#C^dpR}$9`pn0 delta 12 Tcmcc1bC+j=9i!1kdpR}$9`6I_ diff --git a/docs/py-modindex.html b/docs/py-modindex.html index 5e40a29..2844f64 100644 --- a/docs/py-modindex.html +++ b/docs/py-modindex.html @@ -8,7 +8,7 @@ - Python Module Index — PyMzn 0.18.2 documentation + Python Module Index — PyMzn 0.18.3 documentation @@ -62,7 +62,7 @@
- 0.18.2 + 0.18.3
diff --git a/docs/reference/aio/generated/pymzn.aio.minizinc.html b/docs/reference/aio/generated/pymzn.aio.minizinc.html index e154759..860c025 100644 --- a/docs/reference/aio/generated/pymzn.aio.minizinc.html +++ b/docs/reference/aio/generated/pymzn.aio.minizinc.html @@ -8,7 +8,7 @@ - pymzn.aio.minizinc — PyMzn 0.18.2 documentation + pymzn.aio.minizinc — PyMzn 0.18.3 documentation @@ -61,7 +61,7 @@
- 0.18.2 + 0.18.3
diff --git a/docs/reference/aio/index.html b/docs/reference/aio/index.html index e2db408..39400fd 100644 --- a/docs/reference/aio/index.html +++ b/docs/reference/aio/index.html @@ -8,7 +8,7 @@ - Asynchronous execution — PyMzn 0.18.2 documentation + Asynchronous execution — PyMzn 0.18.3 documentation @@ -61,7 +61,7 @@
- 0.18.2 + 0.18.3
@@ -192,7 +192,7 @@

Asynchronous executionminizinc coroutine:

-
async.mzn
+
async.mzn
1
 2
 3
% Use a large domain to simulate a long solving process
@@ -202,7 +202,7 @@ 
Asynchronous execution
-
async.mzn
+
async.mzn
 1
  2
  3
diff --git a/docs/reference/config.html b/docs/reference/config.html
index 4a2c057..883bae4 100644
--- a/docs/reference/config.html
+++ b/docs/reference/config.html
@@ -8,7 +8,7 @@
   
   
   
-  Configuration — PyMzn 0.18.2 documentation
+  Configuration — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/dzn/generated/pymzn.dict2dzn.html b/docs/reference/dzn/generated/pymzn.dict2dzn.html
index 9cf8a3c..c76d2a5 100644
--- a/docs/reference/dzn/generated/pymzn.dict2dzn.html
+++ b/docs/reference/dzn/generated/pymzn.dict2dzn.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.dict2dzn — PyMzn 0.18.2 documentation
+  pymzn.dict2dzn — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/dzn/generated/pymzn.dzn2dict.html b/docs/reference/dzn/generated/pymzn.dzn2dict.html
index 2113920..b6bf913 100644
--- a/docs/reference/dzn/generated/pymzn.dzn2dict.html
+++ b/docs/reference/dzn/generated/pymzn.dzn2dict.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.dzn2dict — PyMzn 0.18.2 documentation
+  pymzn.dzn2dict — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/dzn/generated/pymzn.rebase_array.html b/docs/reference/dzn/generated/pymzn.rebase_array.html
index 249467c..2c650ec 100644
--- a/docs/reference/dzn/generated/pymzn.rebase_array.html
+++ b/docs/reference/dzn/generated/pymzn.rebase_array.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.rebase_array — PyMzn 0.18.2 documentation
+  pymzn.rebase_array — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/dzn/generated/pymzn.stmt2dzn.html b/docs/reference/dzn/generated/pymzn.stmt2dzn.html
index cd1242e..e0cf48f 100644
--- a/docs/reference/dzn/generated/pymzn.stmt2dzn.html
+++ b/docs/reference/dzn/generated/pymzn.stmt2dzn.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.stmt2dzn — PyMzn 0.18.2 documentation
+  pymzn.stmt2dzn — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/dzn/generated/pymzn.val2dzn.html b/docs/reference/dzn/generated/pymzn.val2dzn.html
index 2e36a48..fe453f2 100644
--- a/docs/reference/dzn/generated/pymzn.val2dzn.html
+++ b/docs/reference/dzn/generated/pymzn.val2dzn.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.val2dzn — PyMzn 0.18.2 documentation
+  pymzn.val2dzn — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/dzn/index.html b/docs/reference/dzn/index.html
index 5349b7b..7342747 100644
--- a/docs/reference/dzn/index.html
+++ b/docs/reference/dzn/index.html
@@ -8,7 +8,7 @@
   
   
   
-  Dzn files — PyMzn 0.18.2 documentation
+  Dzn files — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/exec.html b/docs/reference/exec.html
index 3cdef80..f72dbf9 100644
--- a/docs/reference/exec.html
+++ b/docs/reference/exec.html
@@ -8,7 +8,7 @@
   
   
   
-  PyMzn executable — PyMzn 0.18.2 documentation
+  PyMzn executable — PyMzn 0.18.3 documentation
   
 
   
@@ -60,7 +60,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/index.html b/docs/reference/index.html
index 6db1ef6..e452365 100644
--- a/docs/reference/index.html
+++ b/docs/reference/index.html
@@ -8,7 +8,7 @@
   
   
   
-  Manual — PyMzn 0.18.2 documentation
+  Manual — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/minizinc/generated/pymzn.MiniZincError.html b/docs/reference/minizinc/generated/pymzn.MiniZincError.html
index 584fb29..5324e53 100644
--- a/docs/reference/minizinc/generated/pymzn.MiniZincError.html
+++ b/docs/reference/minizinc/generated/pymzn.MiniZincError.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.MiniZincError — PyMzn 0.18.2 documentation
+  pymzn.MiniZincError — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/minizinc/generated/pymzn.Solutions.html b/docs/reference/minizinc/generated/pymzn.Solutions.html
index 8d7586a..475117a 100644
--- a/docs/reference/minizinc/generated/pymzn.Solutions.html
+++ b/docs/reference/minizinc/generated/pymzn.Solutions.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Solutions — PyMzn 0.18.2 documentation
+  pymzn.Solutions — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/minizinc/generated/pymzn.Solutions.print.html b/docs/reference/minizinc/generated/pymzn.Solutions.print.html
index 893bdc2..41e400a 100644
--- a/docs/reference/minizinc/generated/pymzn.Solutions.print.html
+++ b/docs/reference/minizinc/generated/pymzn.Solutions.print.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Solutions.print — PyMzn 0.18.2 documentation
+  pymzn.Solutions.print — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/minizinc/generated/pymzn.Status.html b/docs/reference/minizinc/generated/pymzn.Status.html
index 5973e89..d5a23b0 100644
--- a/docs/reference/minizinc/generated/pymzn.Status.html
+++ b/docs/reference/minizinc/generated/pymzn.Status.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Status — PyMzn 0.18.2 documentation
+  pymzn.Status — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/minizinc/generated/pymzn.minizinc.html b/docs/reference/minizinc/generated/pymzn.minizinc.html
index f9ef062..5435865 100644
--- a/docs/reference/minizinc/generated/pymzn.minizinc.html
+++ b/docs/reference/minizinc/generated/pymzn.minizinc.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.minizinc — PyMzn 0.18.2 documentation
+  pymzn.minizinc — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/minizinc/generated/pymzn.mzn2fzn.html b/docs/reference/minizinc/generated/pymzn.mzn2fzn.html
index 8e165a5..c028870 100644
--- a/docs/reference/minizinc/generated/pymzn.mzn2fzn.html
+++ b/docs/reference/minizinc/generated/pymzn.mzn2fzn.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.mzn2fzn — PyMzn 0.18.2 documentation
+  pymzn.mzn2fzn — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/minizinc/generated/pymzn.solns2out.html b/docs/reference/minizinc/generated/pymzn.solns2out.html
index 3b5bce1..a70fd02 100644
--- a/docs/reference/minizinc/generated/pymzn.solns2out.html
+++ b/docs/reference/minizinc/generated/pymzn.solns2out.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.solns2out — PyMzn 0.18.2 documentation
+  pymzn.solns2out — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/minizinc/index.html b/docs/reference/minizinc/index.html
index 5c9b962..0c6e80a 100644
--- a/docs/reference/minizinc/index.html
+++ b/docs/reference/minizinc/index.html
@@ -8,7 +8,7 @@
   
   
   
-  MiniZinc tools — PyMzn 0.18.2 documentation
+  MiniZinc tools — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.CBC.args.html b/docs/reference/solvers/generated/pymzn.CBC.args.html
index 798e57c..58f272b 100644
--- a/docs/reference/solvers/generated/pymzn.CBC.args.html
+++ b/docs/reference/solvers/generated/pymzn.CBC.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.CBC.args — PyMzn 0.18.2 documentation
+  pymzn.CBC.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.CBC.html b/docs/reference/solvers/generated/pymzn.CBC.html
index bab5a40..7dfef85 100644
--- a/docs/reference/solvers/generated/pymzn.CBC.html
+++ b/docs/reference/solvers/generated/pymzn.CBC.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.CBC — PyMzn 0.18.2 documentation
+  pymzn.CBC — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.CBC.parser.html b/docs/reference/solvers/generated/pymzn.CBC.parser.html
index ba9a5e3..5efc13f 100644
--- a/docs/reference/solvers/generated/pymzn.CBC.parser.html
+++ b/docs/reference/solvers/generated/pymzn.CBC.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.CBC.parser — PyMzn 0.18.2 documentation
+  pymzn.CBC.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Chuffed.args.html b/docs/reference/solvers/generated/pymzn.Chuffed.args.html
index 661f467..2b3a034 100644
--- a/docs/reference/solvers/generated/pymzn.Chuffed.args.html
+++ b/docs/reference/solvers/generated/pymzn.Chuffed.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Chuffed.args — PyMzn 0.18.2 documentation
+  pymzn.Chuffed.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Chuffed.html b/docs/reference/solvers/generated/pymzn.Chuffed.html
index 536ec4f..cb95658 100644
--- a/docs/reference/solvers/generated/pymzn.Chuffed.html
+++ b/docs/reference/solvers/generated/pymzn.Chuffed.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Chuffed — PyMzn 0.18.2 documentation
+  pymzn.Chuffed — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Chuffed.parser.html b/docs/reference/solvers/generated/pymzn.Chuffed.parser.html
index 28788e5..274d672 100644
--- a/docs/reference/solvers/generated/pymzn.Chuffed.parser.html
+++ b/docs/reference/solvers/generated/pymzn.Chuffed.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Chuffed.parser — PyMzn 0.18.2 documentation
+  pymzn.Chuffed.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Gecode.args.html b/docs/reference/solvers/generated/pymzn.Gecode.args.html
index eb7d443..73ca0ef 100644
--- a/docs/reference/solvers/generated/pymzn.Gecode.args.html
+++ b/docs/reference/solvers/generated/pymzn.Gecode.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Gecode.args — PyMzn 0.18.2 documentation
+  pymzn.Gecode.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Gecode.html b/docs/reference/solvers/generated/pymzn.Gecode.html
index c934ce5..1eff7e1 100644
--- a/docs/reference/solvers/generated/pymzn.Gecode.html
+++ b/docs/reference/solvers/generated/pymzn.Gecode.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Gecode — PyMzn 0.18.2 documentation
+  pymzn.Gecode — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Gecode.parser.html b/docs/reference/solvers/generated/pymzn.Gecode.parser.html
index 2f1cbaa..1d5aa26 100644
--- a/docs/reference/solvers/generated/pymzn.Gecode.parser.html
+++ b/docs/reference/solvers/generated/pymzn.Gecode.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Gecode.parser — PyMzn 0.18.2 documentation
+  pymzn.Gecode.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Gurobi.args.html b/docs/reference/solvers/generated/pymzn.Gurobi.args.html
index 6ff08d4..0dd62f0 100644
--- a/docs/reference/solvers/generated/pymzn.Gurobi.args.html
+++ b/docs/reference/solvers/generated/pymzn.Gurobi.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Gurobi.args — PyMzn 0.18.2 documentation
+  pymzn.Gurobi.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Gurobi.html b/docs/reference/solvers/generated/pymzn.Gurobi.html
index 1a67aa8..53095d5 100644
--- a/docs/reference/solvers/generated/pymzn.Gurobi.html
+++ b/docs/reference/solvers/generated/pymzn.Gurobi.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Gurobi — PyMzn 0.18.2 documentation
+  pymzn.Gurobi — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Gurobi.parser.html b/docs/reference/solvers/generated/pymzn.Gurobi.parser.html
index 3f03bf7..86986ab 100644
--- a/docs/reference/solvers/generated/pymzn.Gurobi.parser.html
+++ b/docs/reference/solvers/generated/pymzn.Gurobi.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Gurobi.parser — PyMzn 0.18.2 documentation
+  pymzn.Gurobi.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.MIPSolver.args.html b/docs/reference/solvers/generated/pymzn.MIPSolver.args.html
index 6c06896..dd4f0f8 100644
--- a/docs/reference/solvers/generated/pymzn.MIPSolver.args.html
+++ b/docs/reference/solvers/generated/pymzn.MIPSolver.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.MIPSolver.args — PyMzn 0.18.2 documentation
+  pymzn.MIPSolver.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.MIPSolver.html b/docs/reference/solvers/generated/pymzn.MIPSolver.html
index 722bf83..ce42fd6 100644
--- a/docs/reference/solvers/generated/pymzn.MIPSolver.html
+++ b/docs/reference/solvers/generated/pymzn.MIPSolver.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.MIPSolver — PyMzn 0.18.2 documentation
+  pymzn.MIPSolver — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.MIPSolver.parser.html b/docs/reference/solvers/generated/pymzn.MIPSolver.parser.html
index cbc7430..1bd226d 100644
--- a/docs/reference/solvers/generated/pymzn.MIPSolver.parser.html
+++ b/docs/reference/solvers/generated/pymzn.MIPSolver.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.MIPSolver.parser — PyMzn 0.18.2 documentation
+  pymzn.MIPSolver.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.ORTools.args.html b/docs/reference/solvers/generated/pymzn.ORTools.args.html
index 9e1e251..118675a 100644
--- a/docs/reference/solvers/generated/pymzn.ORTools.args.html
+++ b/docs/reference/solvers/generated/pymzn.ORTools.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.ORTools.args — PyMzn 0.18.2 documentation
+  pymzn.ORTools.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.ORTools.html b/docs/reference/solvers/generated/pymzn.ORTools.html
index e02c275..29497bf 100644
--- a/docs/reference/solvers/generated/pymzn.ORTools.html
+++ b/docs/reference/solvers/generated/pymzn.ORTools.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.ORTools — PyMzn 0.18.2 documentation
+  pymzn.ORTools — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.ORTools.parser.html b/docs/reference/solvers/generated/pymzn.ORTools.parser.html
index 04f410f..071d82e 100644
--- a/docs/reference/solvers/generated/pymzn.ORTools.parser.html
+++ b/docs/reference/solvers/generated/pymzn.ORTools.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.ORTools.parser — PyMzn 0.18.2 documentation
+  pymzn.ORTools.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Optimathsat.args.html b/docs/reference/solvers/generated/pymzn.Optimathsat.args.html
index 929fad0..1f1fef9 100644
--- a/docs/reference/solvers/generated/pymzn.Optimathsat.args.html
+++ b/docs/reference/solvers/generated/pymzn.Optimathsat.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Optimathsat.args — PyMzn 0.18.2 documentation
+  pymzn.Optimathsat.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Optimathsat.html b/docs/reference/solvers/generated/pymzn.Optimathsat.html
index 71427fb..d202b1c 100644
--- a/docs/reference/solvers/generated/pymzn.Optimathsat.html
+++ b/docs/reference/solvers/generated/pymzn.Optimathsat.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Optimathsat — PyMzn 0.18.2 documentation
+  pymzn.Optimathsat — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Optimathsat.parser.html b/docs/reference/solvers/generated/pymzn.Optimathsat.parser.html
index 26dcbef..d7e1385 100644
--- a/docs/reference/solvers/generated/pymzn.Optimathsat.parser.html
+++ b/docs/reference/solvers/generated/pymzn.Optimathsat.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Optimathsat.parser — PyMzn 0.18.2 documentation
+  pymzn.Optimathsat.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Opturion.args.html b/docs/reference/solvers/generated/pymzn.Opturion.args.html
index caad5ac..2d4b2dc 100644
--- a/docs/reference/solvers/generated/pymzn.Opturion.args.html
+++ b/docs/reference/solvers/generated/pymzn.Opturion.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Opturion.args — PyMzn 0.18.2 documentation
+  pymzn.Opturion.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Opturion.html b/docs/reference/solvers/generated/pymzn.Opturion.html
index 3455f9c..fca6255 100644
--- a/docs/reference/solvers/generated/pymzn.Opturion.html
+++ b/docs/reference/solvers/generated/pymzn.Opturion.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Opturion — PyMzn 0.18.2 documentation
+  pymzn.Opturion — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Opturion.parser.html b/docs/reference/solvers/generated/pymzn.Opturion.parser.html
index e45eca2..158ad1d 100644
--- a/docs/reference/solvers/generated/pymzn.Opturion.parser.html
+++ b/docs/reference/solvers/generated/pymzn.Opturion.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Opturion.parser — PyMzn 0.18.2 documentation
+  pymzn.Opturion.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.OscarCBLS.args.html b/docs/reference/solvers/generated/pymzn.OscarCBLS.args.html
index 5de42b8..c3fb0a7 100644
--- a/docs/reference/solvers/generated/pymzn.OscarCBLS.args.html
+++ b/docs/reference/solvers/generated/pymzn.OscarCBLS.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.OscarCBLS.args — PyMzn 0.18.2 documentation
+  pymzn.OscarCBLS.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.OscarCBLS.html b/docs/reference/solvers/generated/pymzn.OscarCBLS.html
index bc02fc2..c0ebea4 100644
--- a/docs/reference/solvers/generated/pymzn.OscarCBLS.html
+++ b/docs/reference/solvers/generated/pymzn.OscarCBLS.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.OscarCBLS — PyMzn 0.18.2 documentation
+  pymzn.OscarCBLS — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.OscarCBLS.parser.html b/docs/reference/solvers/generated/pymzn.OscarCBLS.parser.html
index 2ebd40c..e2963e1 100644
--- a/docs/reference/solvers/generated/pymzn.OscarCBLS.parser.html
+++ b/docs/reference/solvers/generated/pymzn.OscarCBLS.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.OscarCBLS.parser — PyMzn 0.18.2 documentation
+  pymzn.OscarCBLS.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Solver.args.html b/docs/reference/solvers/generated/pymzn.Solver.args.html
index 7572cc4..e668507 100644
--- a/docs/reference/solvers/generated/pymzn.Solver.args.html
+++ b/docs/reference/solvers/generated/pymzn.Solver.args.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Solver.args — PyMzn 0.18.2 documentation
+  pymzn.Solver.args — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Solver.html b/docs/reference/solvers/generated/pymzn.Solver.html
index 4eed2e8..7e2ecda 100644
--- a/docs/reference/solvers/generated/pymzn.Solver.html
+++ b/docs/reference/solvers/generated/pymzn.Solver.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Solver — PyMzn 0.18.2 documentation
+  pymzn.Solver — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.Solver.parser.html b/docs/reference/solvers/generated/pymzn.Solver.parser.html
index 52fda12..c6517db 100644
--- a/docs/reference/solvers/generated/pymzn.Solver.parser.html
+++ b/docs/reference/solvers/generated/pymzn.Solver.parser.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.Solver.parser — PyMzn 0.18.2 documentation
+  pymzn.Solver.parser — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.cbc.html b/docs/reference/solvers/generated/pymzn.cbc.html
index 46ec0dd..2aca9e2 100644
--- a/docs/reference/solvers/generated/pymzn.cbc.html
+++ b/docs/reference/solvers/generated/pymzn.cbc.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.cbc — PyMzn 0.18.2 documentation
+  pymzn.cbc — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.chuffed.html b/docs/reference/solvers/generated/pymzn.chuffed.html
index c07e603..5879858 100644
--- a/docs/reference/solvers/generated/pymzn.chuffed.html
+++ b/docs/reference/solvers/generated/pymzn.chuffed.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.chuffed — PyMzn 0.18.2 documentation
+  pymzn.chuffed — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.gecode.html b/docs/reference/solvers/generated/pymzn.gecode.html
index 255c42c..96a7dfe 100644
--- a/docs/reference/solvers/generated/pymzn.gecode.html
+++ b/docs/reference/solvers/generated/pymzn.gecode.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.gecode — PyMzn 0.18.2 documentation
+  pymzn.gecode — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.gurobi.html b/docs/reference/solvers/generated/pymzn.gurobi.html
index 9f44c8d..9defd52 100644
--- a/docs/reference/solvers/generated/pymzn.gurobi.html
+++ b/docs/reference/solvers/generated/pymzn.gurobi.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.gurobi — PyMzn 0.18.2 documentation
+  pymzn.gurobi — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.optimathsat.html b/docs/reference/solvers/generated/pymzn.optimathsat.html
index 68adeab..68e4c99 100644
--- a/docs/reference/solvers/generated/pymzn.optimathsat.html
+++ b/docs/reference/solvers/generated/pymzn.optimathsat.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.optimathsat — PyMzn 0.18.2 documentation
+  pymzn.optimathsat — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.opturion.html b/docs/reference/solvers/generated/pymzn.opturion.html
index f565f16..79a6aeb 100644
--- a/docs/reference/solvers/generated/pymzn.opturion.html
+++ b/docs/reference/solvers/generated/pymzn.opturion.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.opturion — PyMzn 0.18.2 documentation
+  pymzn.opturion — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.or_tools.html b/docs/reference/solvers/generated/pymzn.or_tools.html
index 7594cc7..3e10f33 100644
--- a/docs/reference/solvers/generated/pymzn.or_tools.html
+++ b/docs/reference/solvers/generated/pymzn.or_tools.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.or_tools — PyMzn 0.18.2 documentation
+  pymzn.or_tools — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/generated/pymzn.oscar_cbls.html b/docs/reference/solvers/generated/pymzn.oscar_cbls.html
index f984000..2ea2699 100644
--- a/docs/reference/solvers/generated/pymzn.oscar_cbls.html
+++ b/docs/reference/solvers/generated/pymzn.oscar_cbls.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.oscar_cbls — PyMzn 0.18.2 documentation
+  pymzn.oscar_cbls — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/solvers/index.html b/docs/reference/solvers/index.html
index 803a334..c7b35f4 100644
--- a/docs/reference/solvers/index.html
+++ b/docs/reference/solvers/index.html
@@ -8,7 +8,7 @@
   
   
   
-  Solvers — PyMzn 0.18.2 documentation
+  Solvers — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/templates/generated/pymzn.templates.add_package.html b/docs/reference/templates/generated/pymzn.templates.add_package.html
index 1b11922..c703088 100644
--- a/docs/reference/templates/generated/pymzn.templates.add_package.html
+++ b/docs/reference/templates/generated/pymzn.templates.add_package.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.templates.add_package — PyMzn 0.18.2 documentation
+  pymzn.templates.add_package — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/templates/generated/pymzn.templates.add_path.html b/docs/reference/templates/generated/pymzn.templates.add_path.html
index e866cdc..9385a31 100644
--- a/docs/reference/templates/generated/pymzn.templates.add_path.html
+++ b/docs/reference/templates/generated/pymzn.templates.add_path.html
@@ -8,7 +8,7 @@
   
   
   
-  pymzn.templates.add_path — PyMzn 0.18.2 documentation
+  pymzn.templates.add_path — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/reference/templates/index.html b/docs/reference/templates/index.html
index 5157447..6e54009 100644
--- a/docs/reference/templates/index.html
+++ b/docs/reference/templates/index.html
@@ -8,7 +8,7 @@
   
   
   
-  Templating — PyMzn 0.18.2 documentation
+  Templating — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
@@ -187,7 +187,7 @@ 
Templating.pmzn extension). An example:

 

-
knapsack.pmzn

+
knapsack.pmzn

 
 1
  2
  3
@@ -237,7 +237,7 @@ 
Templating
-
knapsack.dzn

+
knapsack.dzn

 
1
 2
 3
@@ -262,7 +262,7 @@ 
Templating
-
compatibility.dzn

+
compatibility.dzn

 
1
 2
 3
diff --git a/docs/search.html b/docs/search.html
index 0251bb9..13a9183 100644
--- a/docs/search.html
+++ b/docs/search.html
@@ -8,7 +8,7 @@
   
   
   
-  Search — PyMzn 0.18.2 documentation
+  Search — PyMzn 0.18.3 documentation
   
 
   
@@ -60,7 +60,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
diff --git a/docs/tutorial.html b/docs/tutorial.html
index 23d44bf..514a479 100644
--- a/docs/tutorial.html
+++ b/docs/tutorial.html
@@ -8,7 +8,7 @@
   
   
   
-  Tutorial — PyMzn 0.18.2 documentation
+  Tutorial — PyMzn 0.18.3 documentation
   
 
   
@@ -61,7 +61,7 @@
             
             
               

-                0.18.2
+                0.18.3
               

             
           
@@ -165,7 +165,7 @@ 
Tutorial
-
aust.mzn

+
aust.mzn

 
 1
  2
  3
@@ -297,7 +297,7 @@ 
Data
Let us now move on to another problem, a simple 0-1 knapsack encoded with
 MiniZinc: