Fatal编程技术网
  • z3/
  • Z3Py如何使用Pi和e

Z3Py如何使用Pi和e

z3

Z3Py如何使用Pi和e,z3,z3py,Z3,Z3py,在Z3Py中可以使用pi、e和其他非代数实数吗 我不想运行任何C程序，但直接从Z3 Python API运行非代数数通常不受SMT解算器的支持。话虽如此，你可以通过三角函数间接得到z3中的pi（sin，cos等）；但支持是不完整的。（这意味着对于大多数输入，解算器最有可能返回unknown。） 有关相关问题，请参阅此答案：replicate of@CJDennis Duplicate target没有答案。@svgrafov如果有答案，我会发出关闭标志。If看起来像是在评论中回答的参与者之一。@

在Z3Py中可以使用
pi
、
e
和其他非代数实数吗

我不想运行任何C程序，但直接从Z3 Python API运行非代数数通常不受SMT解算器的支持。话虽如此，你可以通过三角函数间接得到z3中的pi（
sin
，
cos
等）；但支持是不完整的。（这意味着对于大多数输入，解算器最有可能返回
unknown
。）

有关相关问题，请参阅此答案：

replicate of@CJDennis Duplicate target没有答案。@svgrafov如果有答案，我会发出关闭标志。If看起来像是在评论中回答的参与者之一。@CJDennis这是一个一年前的问题，建议查看本机javaapi。我不知道Python中是否有类似的东西，我问过是否有可能避免它（因为我读过这个问题）