From 7c0842bdfc9fdbc3e0e806663a235708a0e18941 Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Sun, 25 Nov 2018 19:56:02 +0100 Subject: [PATCH] Adding v3 to the README --- CMakeLists.txt | 2 +- README.md | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index 15c077a..ea33d81 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -347,7 +347,7 @@ if (GIT_EXECUTABLE) else() set(GIT_SHA "GIT-hash-notfound") endif() -set(APPROXMC_FULL_VERSION "2.5.0") +set(APPROXMC_FULL_VERSION "3.0") string(REPLACE "." ";" APPROXMC_FULL_VERSION_LIST ${APPROXMC_FULL_VERSION}) SetVersionNumber("PROJECT" ${APPROXMC_FULL_VERSION_LIST}) diff --git a/README.md b/README.md index 2c8d55d..74b2129 100644 --- a/README.md +++ b/README.md @@ -1,8 +1,8 @@ [![License: MIT](https://img.shields.io/badge/License-MIT-yellow.svg)](https://opensource.org/licenses/MIT) -# ApproxMC: Approximate Model Counter +# ApproxMCv3: Approximate Model Counter -ApproxMC is a state-of-the-art approximate model counter utilizing an improved version of CryptoMiniSat to give approximate model counts to problems of size and complexity that were not possible before. This work is by Kuldeep Meel and Mate Soos, as [published in AAAI-19](https://www.comp.nus.edu.sg/~meel/Papers/aaai19-sm.pdf). A large part of the work is in CryptoMiniSat [here](https://github.com/msoos/cryptominisat). +ApproxMCv3 is a state-of-the-art approximate model counter utilizing an improved version of CryptoMiniSat to give approximate model counts to problems of size and complexity that were not possible before. This work is by Kuldeep Meel and Mate Soos, as [published in AAAI-19](https://www.comp.nus.edu.sg/~meel/Papers/aaai19-sm.pdf). A large part of the work is in CryptoMiniSat [here](https://github.com/msoos/cryptominisat). ## How to Build @@ -49,7 +49,7 @@ In our case, the maximum number of solutions could at most be 2^7=128, but our C ``` $ approxmc --seed 5 myfile.cnf -c ApproxMC version 2.5 +c ApproxMC version 3.0 [...] c CryptoMiniSat SHA revision 17a1aed4956848404e33d514eef257ca1ed2382b c CMS is MIT licensed