Fixing probability that was slightly off

Thanks to @AL-JiongYang for pointing this out Closes #38
meelgroup · Sep 20, 2023 · 8ab5426 · 8ab5426
1 parent d8889e0
commit 8ab5426
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git 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.14")
+set(APPROXMC_FULL_VERSION "4.1.15")
 
 string(REPLACE "." ";" APPROXMC_FULL_VERSION_LIST ${APPROXMC_FULL_VERSION})
 SetVersionNumber("PROJECT" ${APPROXMC_FULL_VERSION_LIST})

diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "pyapproxmc"
-version = "4.1.14"
+version = "4.1.15"
 description = "Bindings to ApproxMC, an approximate model counter"
 keywords = ["sat", "model-counting"]
 license = { file = "LICENSE" }

diff --git a/src/counter.cpp b/src/counter.cpp
@@ -654,7 +654,7 @@ string Counter::gen_rnd_bits(
     SparseData& sparse_data)
 {
     string randomBits;
-    std::uniform_int_distribution<uint32_t> dist{0, 1000};
+    std::uniform_int_distribution<uint32_t> dist{0, 999};
     uint32_t cutoff = 500;
     if (conf.sparse && sparse_data.table_no != -1) {
         //Do we need to update the probability?