Cómo cambiar el signo de las desigualdades negadas en z3py
Digamos que tengo la siguiente expresión z3py: import z3 x, y = z3.Ints(“x y”) z3_expression = z3.Not(x<y) Esta expresión se guarda y se imprime con str() como Not(x < y). Quiero saber si hay alguna forma de aplicar ese operador Not() a la expresión y cambiar el signo de la . . . Read more