→ victoret:個人是沒有重新接...反正一樣的就是一樣。 01/16 13:11
→ victoret:我是說 SAT 裡的東西...不過不知道重新接會不會比較快？ 01/16 13:12
→ victoret:因為目前還沒重接拆...sim12 崩潰...但是也不確定接了速 01/16 13:12
→ victoret:度上有沒有幫助 @@ 01/16 13:13
推 ntueesuevan:sim12崩潰+1 01/16 15:49
→ wmin0:我的做法是每次把solver reset 重接... 01/16 18:55
推 victoret:請問要重接一定要 reset 嗎？還是有什麼指令可以直接重設 01/16 21:34
→ victoret:某個 gate 的 fanin？ 01/16 21:34
→ wmin0:召喚教授... 01/16 21:45