作者taldehyde (阿肥)
看板EE_DSnP
標題[問題]segmentation fault在SatSolver內發生
時間Mon Jan 14 08:00:53 2013
如題 好像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)