cadical调用与改写为多输出2

 

 

 

1. cadical.hpp中定义的App输出控制

（1）设置输出文件类型

//main函数中

bool proof_specified = false, dimacs_specified = false;

//默认输出文件类型：命令行出现“-”，则设置dimacs_specified=True,对应的文件为dimacs

//初始化dimacs_specified = True, 则对应文件为proof

//如果初始化proof_specified = True, 则会提示 APPERR ("too many arguments"); 

（2）不输出dimacs，只直接输出结果文件

 

 
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
   
posted on 2024-09-09 23:55  海阔凭鱼跃越  阅读(8)  评论(0)  编辑  收藏  举报