首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > walksat 找到一种令人满意的 cnf 公式模型

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
VIP VIP
0.183804s