隨意問問
雖然距離這些還很遠
other BDD operation
cofactor
是說可以輸出某個 node 的 left 或 right 嗎
existential
存在解？
universal
全部解？ 這跟 cube traversal 有什麼不同？
constraint restrict
這兩個分別是什麼 例如限定 x2 = 1 這樣嗎？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.166.203.41