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

simplifyNot

fun KContext.simplifyNot(arg: KExpr<KBoolSort>): KExpr<KBoolSort>