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-帮助
（或其他任何非法的选项）。
文 件 列 表
Makefile
makequeens.c
makewff.c
README
walksat.c
