|
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，只直接輸出結果檔案
|
|
