如何在 Z3 Java API 中定义排序？

Question

如何在 Z3 Java API 中定义排序？我需要执行以下操作：

(define-sort Set (T) (Array T Bool))

Answer 1

https://github.com/Z3Prover/z3/blob/master/examples/java/JavaExample.java中有很多例子

特别是： https://github.com/Z3Prover/z3/blob/master/examples/java/JavaExample.java#L1711-L1830

是一个完整的参数树表示示例。