如何在 Z3 Java API 中定义排序?我需要做如下的事情:
(define-sort Set (T) (Array T Bool))
最佳答案
https://github.com/Z3Prover/z3/blob/master/examples/java/JavaExample.java中有很多例子
特别是: https://github.com/Z3Prover/z3/blob/master/examples/java/JavaExample.java#L1711-L1830
是一个完整的参数化树表示示例。
关于java - 如何在 Z3 Java API 中定义排序?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56570544/