如題 好像gate的量一大 在加clauses的時候 就會crash掉
還是說其實sat能給的Var是有上限的
沒辦法全部個gate都給一個Var
或是沒辦法把每個AIG都加clause上去
讀小檔案的時候偶爾也會crash
現在不知道怎麼辦orz