我想請問SAT getValue的用法 我的用法是在做完 assumpSolve() 後 如果是SAT( return true )就會呼叫 solver.getValue( PI的Var ) 去拿每個值 不知道這樣做有沒有錯 目前的狀況是 fraig跑到一半時似乎還正常 但只要離開fraig的涵式 就會segmetation fault 把getValue comment掉就沒事 不知道錯在哪裡QQ 拜託大家了 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 114.24.130.142