Pycarl version 2.2.0

moves-rwth · Jun 7, 2023 · af66206 · af66206
1 parent 0596d10
commit af66206
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 4 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -2,15 +2,21 @@ Changelog
 =============
 
 
-Version 2.1.x
+Version 2.2.x
 -------------
 
-### Version 2.1.x
-Requires carl-storm version >= 14.25
+### Version 2.2.0 (2023/06)
+Requires carl-storm version >= 14.23
 
+- Upgraded repo / version for carl, requires [carl-storm](https://github.com/moves-rwth/carl-storm) from now on
+- Developer: added Dockerfile
 - Developer: improved build process
 - Developer: updated pybind11 to version 2.10.0
 
+
+Version 2.1.x
+-------------
+
 ### Version 2.1.0 (2022/07)
 Requires carl with branch `master14`
 

diff --git a/lib/pycarl/_version.py b/lib/pycarl/_version.py
@@ -1 +1 @@
-__version__ = "2.1.0"
+__version__ = "2.2.0"