From d9f7d05ba72ef7a28c6b0af38ea45a07efa6e19e Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Sat, 21 Oct 2023 17:25:53 +0200 Subject: [PATCH] Releasing new pypi version to also contain Mac --- CMakeLists.txt | 2 +- pyproject.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 842c4d0..d7fc25c 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.20") +set(APPROXMC_FULL_VERSION "4.1.21") string(REPLACE "." ";" APPROXMC_FULL_VERSION_LIST ${APPROXMC_FULL_VERSION}) SetVersionNumber("PROJECT" ${APPROXMC_FULL_VERSION_LIST}) diff --git a/pyproject.toml b/pyproject.toml index f268f02..5d5715c 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta" [project] name = "pyapproxmc" -version = "4.1.20" +version = "4.1.21" description = "Bindings to ApproxMC, an approximate model counter" keywords = ["sat", "model-counting"] license = { file = "LICENSE" }