prepare 0.9.4

tpaviot · Dec 12, 2023 · 1a4c6a9 · 1a4c6a9
1 parent f704780
commit 1a4c6a9
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/NOTES b/NOTES
@@ -1,5 +1,9 @@
 RELEASE NOTES
 
+Version 0.9.4
+=============
+Bump z3-solver to release 4.12.4.0
+
 Version 0.9.3
 =============
 Minor bugfix release (notebooks, documentations typos)

diff --git a/README.md b/README.md
@@ -34,7 +34,7 @@ ProcessScheduler is a Python package for creating optimized scheduling based on
 Install with pip.
 
 ```bash
-pip install ProcessScheduler==0.9.3
+pip install ProcessScheduler==0.9.4
 ```
 
 This comes with the only required dependency: the Microsoft free and open source licenses [S3 solver](https://github.com/Z3Prover/z3). If you want to take advantage of all the features, you can install optional dependencies:

diff --git a/setup.py b/setup.py
@@ -21,7 +21,7 @@
 
 setup(
     name="ProcessScheduler",
-    version="0.9.3",
+    version="0.9.4",
     description=DESCRIPTION,
     long_description=open("README.md").read(),
     long_description_content_type="text/markdown",