Lecture note #7 is now available (up to p45).
关于作业六 (SAT-based verification 的 PA)，由于只剩一个月就期末了，
再加上我实在也没有时间写 ref code，所以就算了!
对于 seq SAT verification (如 BMC 等) 有兴趣的人
我可以提供一个简单的 SAT (miniSat) 接口，
可以与之前作业的 cmd interface co-work，有需要的人再来跟我说。
但是仍然会有一个与 SAT-application 相关作业，当作大家对于 lecture #7 的练习，
Deadline 会是在期末考周。
期末专题的题目会在明天上课时公布。