diff --git a/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py b/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py
index 1388158e..3bca77a1 100644
--- a/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py
+++ b/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py
@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.8.0"
+__version__ = "1.9.0"
diff --git a/auxiliary_packages/funman_demo/src/funman_demo/_version.py b/auxiliary_packages/funman_demo/src/funman_demo/_version.py
index 1388158e..3bca77a1 100644
--- a/auxiliary_packages/funman_demo/src/funman_demo/_version.py
+++ b/auxiliary_packages/funman_demo/src/funman_demo/_version.py
@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.8.0"
+__version__ = "1.9.0"
diff --git a/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py b/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py
index 1388158e..3bca77a1 100644
--- a/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py
+++ b/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py
@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.8.0"
+__version__ = "1.9.0"
diff --git a/auxiliary_packages/pde2petri/src/pde2petri/_version.py b/auxiliary_packages/pde2petri/src/pde2petri/_version.py
index 29654eec..0a0a43a5 100644
--- a/auxiliary_packages/pde2petri/src/pde2petri/_version.py
+++ b/auxiliary_packages/pde2petri/src/pde2petri/_version.py
@@ -1 +1 @@
-__version__ = "1.8.0"
+__version__ = "1.9.0"
diff --git a/src/funman/_version.py b/src/funman/_version.py
index 1388158e..3bca77a1 100644
--- a/src/funman/_version.py
+++ b/src/funman/_version.py
@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.8.0"
+__version__ = "1.9.0"