Z3Prover JavaAPI缺失“；GetResult"；

以结果的形式检索变量集的固定赋值。我可以在Z3Py中使用

Solver

类的

result

接口。我可以在C/C++/.Net中找到类似的API。但我在JavaAPI中找不到相同的。这是Z3JavaAPI中缺少的还是其他东西

---

PS：我的z3版本是

z3-4.8.7-x64-ubuntu-16.04

是

com.microsoft.z3.Native（长a0、长a1、长a2、长a3、长a4）

你在找什么？（版本：）谢谢你的回复。它看起来像我要找的东西。但是它来自本机软件包，里面没有关于API的文档。你能告诉我如何使用这个API吗？已修复。看看这里，很好！（快速行动！）是

com.microsoft.z3.Native#solveTarget（长a0、长a1、长a2、长a3、长a4）

你在找什么？（版本：）谢谢你的回复。它看起来像我要找的东西。但是它来自本机软件包，里面没有关于API的文档。你能告诉我如何使用这个API吗？已修复。看看这里，很好！（快速行动！）