如題 好像gate的量一大 在加clauses的時候 就會crash掉 還是說其實sat能給的Var是有上限的 沒辦法全部個gate都給一個Var 或是沒辦法把每個AIG都加clause上去 讀小檔案的時候偶爾也會crash 現在不知道怎麼辦orz -- 更新： 改了寫法之後莫名其妙的解決了... -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.251.160 ※ 編輯: taldehyde 來自: 140.112.251.160 (01/14 09:14)