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 會是在期末考周。
期末專題的題目會在明天上課時公布。