2024年8月27日
cadical调用与改写为多输出1
摘要： 1. 1. 关于APP界面的使用 （1）运行arc==2,且arg[2]为指定参数（非.cnf文件），例如使用参数'-h' $ ./cadical.exe -h usage: cadical [ <option> ... ] [ <input> [ <proof> ] ] where '<optio 阅读全文
posted @ 2024-08-27 17:48 海阔凭鱼跃越 阅读(18) 评论(0) 推荐(0) 编辑