PBCounter is a Weighted Model Counter on Pseudo-Boolean Constraints. If you use the tool, please cite our paper PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas
You will need at least a C++ compiler that supports the C++17 standard. Default compiler is g++. To make changes, edit the CMakeLists.txt file.
Use ./build.sh to compile executable file PBCounter.
Use ./PBCounter -h or PBCounter --help to see help information.
You can access the benchmark dataset we used in our paper at Zenodo.
Additionally, we provide the encoding tool PBEncoder, which facilitates the transformation of PB formula into CNF. The tool implements two counting-safe encoding methods used in our paper.