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 818591d commit f04ef37Copy full SHA for f04ef37
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.8")
+set(APPROXMC_FULL_VERSION "4.1.9")
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.8"
+version = "4.1.9"
8
description = "Bindings to ApproxMC, an approximate model counter"
9
keywords = ["sat", "model-counting"]
10
license = { file = "LICENSE" }
0 commit comments