推 wmin0:y 01/14 15:08
推 ric2k1:每個 PI 應該都會對應到一個 SAT Var, 根據這個 varID 01/14 22:09
→ ric2k1:去 call getValue() 就可以拿到 SAT 的 assignment 囉! 01/14 22:10
似懂非懂地看完sat，
大概可以了解要怎麼證明了，
但spec上說可以拿counter-example來simulation，
是要用getValue來取得嗎？
那是要把每個PI的Var傳進去然後得到它的pattern嗎？
懇請神手解惑，問題如果有點蠢請見諒> <
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.252.211