ksmt-core/io.ksmt.expr.rewrite.simplify/simplifyDistinct

simplifyDistinct

fun <T : KSort> KContext.simplifyDistinct(args: List<KExpr<T>>, order: Boolean = true): KExpr<KBoolSort>