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