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，只直接输出结果文件