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

isComplement

fun KExpr<KBoolSort>.isComplement(other: KExpr<KBoolSort>): Boolean