diff --git a/CMakeLists.txt b/CMakeLists.txt
index 924f523..767020e 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -340,7 +340,7 @@ if (GIT_EXECUTABLE)
 else()
   set(GIT_SHA "GIT-hash-notfound")
 endif()
-set(unigen_FULL_VERSION "2.5.7")
+set(unigen_FULL_VERSION "2.5.8")
 
 string(REPLACE "." ";" unigen_FULL_VERSION_LIST ${unigen_FULL_VERSION})
 SetVersionNumber("PROJECT" ${unigen_FULL_VERSION_LIST})
diff --git a/pyproject.toml b/pyproject.toml
index f8e4d70..c4d561f 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pyunigen"
-version = "2.5.7"
+version = "2.5.8"
 description = "Bindings to UniGen, an approximate sampler"
 keywords = ["sat", "model-counting"]
 license = { file = "LICENSE" }