[公告] PA#2 and lecture note #3 updates ric2k1 PTT批踢踢实业坊

[公告] PA#2 and lecture note #3 updates

楼主: ric2k1 (Ric) 2012-04-23 23:05:50

PA#2 updates:
1. One missing header file in "src/bdd".
You can download the new "pa2.tgz", or download it from "公布栏" in ceiba.
2. Change the path to "tests" for the dofiles in "tests/" directory.
3. (For PDF file) Fix the comment for the "BEXist" command.
Also the complete lecture note #3 (BDD) is uploaded to ceiba.

继续阅读

[情报] PA #2 is now online!!!ric2k1 [情报] BDD Lecture notes (up to p106)ric2k1 [情报] Homework #1ric2k1 [情报] BDD Lecture notes (up to p69)ric2k1 [问题] output direct?ckmarkoh [讨论] NAND 和 NOR gate??ckmarkoh [公告] 今日 03/29 6pm 补课ric2k1 Source Code Bug Fixed and Program Updatechengyin [问题] 有关程式的正确性kenylin [公告] Reference Program Update (Another bug fixed)chengyin