您可以使用Python
eval函数。这是一个例子：
from z3 import *x,y,z = Ints('x y z') s = 'x + y + 2*z == 5'F = eval(s)solve(F)该脚本显示
[y = 0, z = 0, x = 5]在我的机器上。
不幸的是，我们无法在http://rise4fun.com/z3py上执行此脚本。rise4fun网站
eval出于安全原因拒绝包含的Python脚本。
您可以使用Python
eval函数。这是一个例子：
from z3 import *x,y,z = Ints('x y z') s = 'x + y + 2*z == 5'F = eval(s)solve(F)该脚本显示
[y = 0, z = 0, x = 5]在我的机器上。
不幸的是，我们无法在http://rise4fun.com/z3py上执行此脚本。rise4fun网站
eval出于安全原因拒绝包含的Python脚本。
名师互学网 版权所有 (c)2021-2022 ICP备案号：晋ICP备2021003244-6号
