小编Jul*_* H.的帖子

也许我错过了什么,但是使用z3 C++ API构建if-then-else表达式的方法是什么？

我可以使用C API,但我想知道为什么C++ API中没有这样的函数.

问候,朱利安