Z3 Java API文档或教程

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

到目前为止我找到的唯一资源是源代码和示例程序，所以我想知道是否有人知道Z3 Java API的任何其他文档/教程。

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