c march_cu帮助c用法：/march_cu<输入文件>[选项]其中输入可能位于（未压缩）DIMACS中。c选项：-h打印此帮助消息-p普通/无立方体模式-d<int>设置静态截止深度（默认值：0，动态深度）-n<int>设置静态截止变量（默认值：0，动态深度）-e<float>设置向下指数（默认值：0.30，快速立方）-f<float>设置向下分数（默认值：0.02，快速立方）-l<int>限制多维数据集的数量（默认值：0，无限制）-启发式的s<int>种子（默认值：0，无随机）-##SAT仅预处理c可选LOOKAHEAD技术（选项将否定默认值）：-gah全局自给自足启发式（默认值：on）-imp添加两个含义（默认值：on）-wfr添加意外收获解决方案（默认值：on）c输出选项：-o<file>将多维数据集发送到<file>（默认值：/tmp/cubes.icnf）-q打开安静模式（将默认输出设置为stdout）-cnf将cnf添加到立方体c魔法常数：-bin<float>二进制子句权重（默认值：25.00）-dec<float>大小指数衰减（默认值：0.50）-min<float>最小启发式值（默认值：8.00）-max<float>最大启发式值（默认值：550.00）-sli<int>singlelook迭代（默认值：9）-dli<int>doublelook迭代（默认值：2）