Z3 Java API文档 [英] Z3 Java API documentation

问题描述

我已经安装了 Z3 API for Java ，并且正在尝试使用它，但是找不到任何说明如何使用此API的文档.

I have installed the Z3 API for Java and I am trying to use it but I can't find any documentation that explains how to use this API.

到目前为止，我发现的唯一资源是示例程序，所以我想知道是否有人知道 Z3 Java API 的任何其他文档.

The only resource I have found so far is the source code and the example program, so I wanted to know if anyone was aware of any other documentation for the Z3 Java API.

推荐答案

当前没有关于Java API的单独文档(API本身中的注释除外).但是，正如Bovoi所说，该API的大部分都是自动从.NET API转换而来的，因此它实际上与.NET API相同..NET API又基于Python API，因此所有的类和函数名称都(几乎)相同；在Python中，有一个默认的Context对象，因此在许多情况下，不需要将其作为参数传递，而在.NET和Java中，它是参数.因此，除了API和示例程序的源代码之外，我还指向 Z3 Python教程;其中解释的所有概念都可以直接转换为Java和.NET.

There is currently no separate documentation for the Java API (other than the comments in the API itself). Large parts of this API where however automatically translated from the .NET API, so it is virtually the same as that one, as bovoi said. The .NET API is in turn based upon the Python API, so all the class and function names are (almost) the same; in Python there is a default Context object, so in many cases this does not need to be passed as an argument, where in .NET and Java it is an argument. So, apart from the source code of the API and the example program, I would point to the Z3 Python Tutorial; all the concepts explained therein translate to Java and .NET in a straightforward way.

这篇关于Z3 Java API文档的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！