z3 python change logic gate children
z3 python change logic gate children Question: My algorithm needs to modify the children() of the existing logic gate. Suppose i have the following code a = Bool(‘a’) b = Bool(‘b’) c = Bool(‘c’) or_gate = Or(a, b) I want to modify or_gate to be Or(a, c). I have tried the following: or_gate.children()[1] = c …