如题 好像gate的量一大 在加clauses的时候 就会crash掉
还是说其实sat能给的Var是有上限的
没办法全部个gate都给一个Var
或是没办法把每个AIG都加clause上去
读小档案的时候偶尔也会crash
现在不知道怎么办orz