BiPartGen 生成二部图和相关的CNF公式 选项 General Options -g [chess | pigeon | random] Type of graph to generate. -n [N] Size of chess NxN, number of holes in PHP N, or number of nodes in random graph. -e [direct | split | sinz] At Most 1 enco