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 77ca66d..17d1526 100644
Binary files a/docs/objects.inv and b/docs/objects.inv differ
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 execution