2023年4月15日
cadical分析01_基本数据结构01
摘要： 以下代码基于cadical-rel-1.5.3版本，来源于： Solver 在cadical.hpp文件中声明求解器类型。其中成员函数比较有趣的是： int val (int lit); // Line 57, 返回文字的值；assert(val(liter)),断言文字liter为非零，即是有效文 阅读全文
posted @ 2023-04-15 10:16 海阔凭鱼跃越 阅读(68) 评论(0) 推荐(0) 编辑