CSB：面向位向量的计数与采样工具

arXiv论文介绍了工具csb，旨在将现代CNF模型计数器和采样器扩展到位向量理论。工具通过位爆破把位向量公式转换为CNF，支持精确、近似、投影与非投影模型计数，以及近似均匀和均匀采样。论文称实验较现有方法有明显性能提升，但摘要未给出具体数据。