@misc{indiciaec0caae4eefad,
  title = {CSB: A Counting and Sampling tool for Bit-vectors},
  author = {Arijit Shaw and Kuldeep S. Meel},
  year = {2026},
  doi = {10.1007/s00236-026-00535-0},
  url = {https://arxiv.org/abs/2607.04142},
  note = {Source identifier: 2607.04142}
}