Java API目前没有单独的文档(API本身中的注释除外)。但是,正如Bovoi所说,该API的大部分都是自动从.NET
API转换而来的,因此它实际上与.NET API相同。.NET API又基于Python
API,因此所有的类和函数名称都(几乎)相同;在Python中,有一个默认的Context对象,因此在许多情况下,不需要将其作为参数传递,在.NET和Java中,它是参数。因此,除了API的源代码和示例程序之外,我还指向Z3
Python教程;其中解释的所有概念都以直接的方式转换为Java和.NET。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)