MinisatsimpSolver中的“do_simp”和“turn_off_simp”是什么意思？

问题描述

在阅读Minisat的源代码时，遇到如下代码片段

inline bool SimpSolver::solve (bool do_simp,bool turn_off_simp)  { budgetoff(); assumptions.clear(); return solve_(do_simp,turn_off_simp) == l_True; }

以上只是 solve 函数的重载版本，但所有 solve 函数都有参数“do_simp”和“turn_off_simp”，我研究了 {{1} 的实现并且无法弄清楚它们是什么意思。

solve_

你能直观地为我解释一下吗？

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）