如何在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

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