随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
08 2024 档案
cadical调用与改写为多输出1
摘要：1. 1. 关于APP界面的使用 （1）运行arc==2,且arg[2]为指定参数（非.cnf文件），例如使用参数'-h' $ ./cadical.exe -h usage: cadical [ <option> ... ] [ <input> [ <proof> ] ] where '<optio
阅读全文
