2020年7月26日
4CaDiCal代码解读——CaDiCal的external相关代码1--restore.cpp
摘要： 外部和内部的关系：外部定义函数的文件都有#include “internal.hpp”头文件 restore.cpp文件中定义了以下外部文件 void External::restore_clause ( const vector<int>::const_iterator & begin, cons 阅读全文
posted @ 2020-07-26 14:26 海阔凭鱼跃越 阅读(199) 评论(0) 推荐(0)
3.Cadical-代码解读restart.cpp, score.hpp, score.cpp
摘要： restart.cpp定义了internal类型的几个成员函数： bool Internal::stabilizing () bool Internal::restarting () int Internal::reuse_trail () void Internal::restart () 1 # 阅读全文
posted @ 2020-07-26 13:59 海阔凭鱼跃越 阅读(184) 评论(0) 推荐(0)