diff --git a/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py b/auxiliary_packages/funman_benchmarks/src/funman_benchmarks/_version.py
index 6adb2512..f5590fbd 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.9.1"
+__version__ = "1.10.0"
diff --git a/auxiliary_packages/funman_demo/src/funman_demo/_version.py b/auxiliary_packages/funman_demo/src/funman_demo/_version.py
index 6adb2512..f5590fbd 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.9.1"
+__version__ = "1.10.0"
diff --git a/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py b/auxiliary_packages/funman_dreal/src/funman_dreal/_version.py
index 6adb2512..f5590fbd 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.9.1"
+__version__ = "1.10.0"
diff --git a/auxiliary_packages/pde2petri/src/pde2petri/_version.py b/auxiliary_packages/pde2petri/src/pde2petri/_version.py
index 38cf6dbe..fcfdf383 100644
--- a/auxiliary_packages/pde2petri/src/pde2petri/_version.py
+++ b/auxiliary_packages/pde2petri/src/pde2petri/_version.py
@@ -1 +1 @@
-__version__ = "1.9.1"
+__version__ = "1.10.0"
diff --git a/src/funman/_version.py b/src/funman/_version.py
index 6adb2512..f5590fbd 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.9.1"
+__version__ = "1.10.0"