diff --git a/CMakeLists.txt b/CMakeLists.txt index 8d465d7..29dab30 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -350,7 +350,7 @@ if (GIT_EXECUTABLE) else() set(GIT_SHA "GIT-hash-notfound") endif() -set(APPROXMC_FULL_VERSION "4.1.23") +set(APPROXMC_FULL_VERSION "4.1.24") string(REPLACE "." ";" APPROXMC_FULL_VERSION_LIST ${APPROXMC_FULL_VERSION}) SetVersionNumber("PROJECT" ${APPROXMC_FULL_VERSION_LIST}) diff --git a/pyproject.toml b/pyproject.toml index 6e435d0..0b4bfcf 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta" [project] name = "pyapproxmc" -version = "4.1.23" +version = "4.1.24" description = "Bindings to ApproxMC, an approximate model counter" keywords = ["sat", "model-counting"] license = { file = "LICENSE" } diff --git a/utils/gtest b/utils/gtest index cff7c54..4565741 160000 --- a/utils/gtest +++ b/utils/gtest @@ -1 +1 @@ -Subproject commit cff7c54c82557916e526a19cf5c39153dcb6e883 +Subproject commit 456574145cf71a5375777cab58453acfd92a920b