本篇并不是正经的经验记录,只是先记下我现在觉得可能会有用的一些东西。还有自己目前的一些体会。
现在我的大概思路就是:测试文件——goto模型——goto program——公式——SAT求解器——结果。
现在主要的问题在于无法定位mm命令所在位置,
本篇并不是正经的经验记录,只是先记下我现在觉得可能会有用的一些东西。还有自己目前的一些体会。
现在我的大概思路就是:测试文件——goto模型——goto program——公式——SAT求解器——结果。
现在主要的问题在于无法定位mm命令所在位置,