Z3 Java文档

Question

我已经安装了Z3 API for Java，我正在尝试使用它，但是我找不到任何文档来解释如何使用这个API。

到目前为止，我发现的唯一资源是源代码和示例程序，因此我想知道是否有人知道Z3 Java API的其他文档。

Answer 1

目前没有单独的Java文档(除了API本身中的注释)。但是，这个API的很大一部分是从.NET API中自动翻译出来的，所以它和那个API几乎是一样的，就像bovoi说的那样。Python基于Python，因此所有类和函数名称(几乎)都是相同的；在.NET中有一个默认的上下文对象，因此在许多情况下，这不需要作为参数传递，在.NET和Java中，它是一个参数。因此，除了API的源代码和示例程序之外，我要指出的是Z3 Python教程；其中解释的所有概念都以一种简单的方式转换为.NET和Java。

Answer 2

您可以在1z3.html找到API引用。