diff --git a/CMakeLists.txt b/CMakeLists.txt index 8f01c1ee1..1682e193b 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -450,7 +450,7 @@ else() set(GIT_SHA "GIT-hash-notfound") endif() -set(CMS_FULL_VERSION "5.11.14") +set(CMS_FULL_VERSION "5.11.15") string(REPLACE "." ";" CMS_FULL_VERSION_LIST ${CMS_FULL_VERSION}) SetVersionNumber("PROJECT" ${CMS_FULL_VERSION_LIST}) diff --git a/pyproject.toml b/pyproject.toml index 19ff4131c..8939cb335 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta" [project] name = "pycryptosat" -version = "5.11.14" +version = "5.11.15" description = "Bindings to CryptoMiniSat, an advanced SAT solver" keywords = ["sat", "cryptography"] license = { file = "LICENSE.txt" }