We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1c15956 commit 219a457Copy full SHA for 219a457
CMakeLists.txt
@@ -454,7 +454,7 @@ else()
454
set(GIT_SHA "GIT-hash-notfound")
455
endif()
456
457
-set(CMS_FULL_VERSION "5.11.3")
+set(CMS_FULL_VERSION "5.11.4")
458
459
string(REPLACE "." ";" CMS_FULL_VERSION_LIST ${CMS_FULL_VERSION})
460
SetVersionNumber("PROJECT" ${CMS_FULL_VERSION_LIST})
pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
4
5
[project]
6
name = "pycryptosat"
7
-version = "5.11.3"
+version = "5.11.4"
8
description = "Bindings to CryptoMiniSat, an advanced SAT solver"
9
keywords = ["sat", "cryptography"]
10
license = { file = "LICENSE.txt" }
0 commit comments