diff --git a/CMakeLists.txt b/CMakeLists.txt index 0c83a3293..f5f4cf3ba 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -454,7 +454,7 @@ else() set(GIT_SHA "GIT-hash-notfound") endif() -set(CMS_FULL_VERSION "5.11.3") +set(CMS_FULL_VERSION "5.11.4") string(REPLACE "." ";" CMS_FULL_VERSION_LIST ${CMS_FULL_VERSION}) SetVersionNumber("PROJECT" ${CMS_FULL_VERSION_LIST}) diff --git a/pyproject.toml b/pyproject.toml index 2fb3583b9..64af71e5f 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta" [project] name = "pycryptosat" -version = "5.11.3" +version = "5.11.4" description = "Bindings to CryptoMiniSat, an advanced SAT solver" keywords = ["sat", "cryptography"] license = { file = "LICENSE.txt" }