段落<文件。 [i] cnf>[--cadical-cubes][--resplit]
段落<file.qdimacs>[--使用-depqbf]
段落<文件。 [i] cnf>[--udp-announcement-interval 1000]
parac[--已知远程主机名]
增压收割台 Boost日志 增强程序选项
#克隆存储库 git克隆 https://github.com/maximaximal/Paracooba.git网站 git子模块更新--init--递归 #生成目录 mkdir构建 cd内部版本 #建筑物 cmake。。 品牌-j