hmc-binary:精确的哈密顿量蒙特卡洛采样器,用于二进制分布