Z3 Java API documentation

Question

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.

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.

Answer 1

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.

Answer 2

You can find the API reference at https://z3prover.github.io/api/html/namespacecom_1_1microsoft_1_1z3.html