作者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)