Z3 Java API文档或教程

Question

我已经安装了Z3 API for Java，我正在尝试使用它，但我找不到任何解释如何使用此API的教程或文档。

到目前为止我找到的唯一资源是source code和example program，所以我想知道是否有人知道Z3 Java API的任何其他文档/教程。< / p>

Answer 1

目前没有单独的Java API文档（API本身的注释除外）。 bovoi表示，这个API的大部分都是从.NET API自动翻译出来的，所以它几乎与那个API相同。 .NET API又基于Python API，因此所有类和函数名称（几乎）都相同;在Python中有一个默认的Context对象，所以在很多情况下，这不需要作为参数传递，在.NET和Java中它是一个参数。因此，除了API的源代码和示例程序之外，我会指向Z3 Python Tutorial;其中解释的所有概念都以直接的方式转换为Java和.NET。

Answer 2

您可以在https://z3prover.github.io/api/html/namespacecom_1_1microsoft_1_1z3.html

处找到API参考。