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 a1eecee commit 336aec8Copy full SHA for 336aec8
CMakeLists.txt
@@ -350,7 +350,7 @@ if (GIT_EXECUTABLE)
350
else()
351
set(GIT_SHA "GIT-hash-notfound")
352
endif()
353
-set(APPROXMC_FULL_VERSION "4.1.21")
+set(APPROXMC_FULL_VERSION "4.1.22")
354
355
string(REPLACE "." ";" APPROXMC_FULL_VERSION_LIST ${APPROXMC_FULL_VERSION})
356
SetVersionNumber("PROJECT" ${APPROXMC_FULL_VERSION_LIST})
pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
4
5
[project]
6
name = "pyapproxmc"
7
-version = "4.1.21"
+version = "4.1.22"
8
description = "Bindings to ApproxMC, an approximate model counter"
9
keywords = ["sat", "model-counting"]
10
license = { file = "LICENSE" }
0 commit comments