walksat 找到一种令人满意的 cnf 公式模型

Walksat 规格 Walksat 试图找到一种令人满意的 cnf 公式模型。 格式是.cnf 格式： c 在文件的开头的可选注释。 c"p"行指定 cnf 格式、 编号 var、 数字通则 c 变量的编号从 1 开始的 c 每个子句结束与 0 p cnf 3 2 1-3 0 2 3-1 0 Walksat 读取从标准中 （或从作为命令指定的文件 线参数） 并将写入到标准输出 （和标准错误）。 到 获取的命令行选项，类型列表 walksat-帮助 （或其他任何非法的选项）。