@misc{indiciae815bc909bb4c,
  title = {PBCounter: Weighted Model Counting on Pseudo-Boolean Formulas},
  author = {Yong Lai and Zhenghang Xu and Minghao Yin},
  year = {2023},
  url = {https://arxiv.org/abs/2312.15877},
  note = {Source identifier: 2312.15877}
}