各種崩潰QQQ
我執行兩個AIG的prove的時候跳出這個
fraig: Solver.h:215: void check(bool): Assertion `expr' failed.
Aborted
但是同樣的電路
要是換個順序檢查的話又不會崩潰了
好比說
先檢查
4 5
再檢查
5 6
會出現上面的訊息
檢查順序相反的話又會成功比對
我也很希望是我電路建錯了...
可是看許久看不出有哪理有問題
也有在sat.h理面的Xor和Aig兩種建電路的函式看建電路過程
看起來都沒問題QQQQ
可是它就是會Aborted()
有人知道可能原因嘛><
另外問一下
cirw 的附加功能(可以從某個gate印fanin)
那個要寫嘛?
因為cirMgr.h理面只有
void writeAag(ostream&) const;
沒有支援這個功能的函式..
所以是要自己加?